|
|
|
|
|
|
|
Automated Deduction — Cade-13 [electronic resource] : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings / edited by M. A. McRobbie, J. K. Slaney. by McRobbie, M. A [editor.] | Slaney, J. K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1104Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Non-Monotonic Extensions of Logic Programming [electronic resource] : Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers / edited by Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski. by Dix, Jürgen [editor.] | Pereira, Luís Moniz [editor.] | Przymusinski, Teodor C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1216Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Qualitative and Quantitative Practical Reasoning [electronic resource] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings / edited by Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach. by Gabbay, Dov M [editor.] | Kruse, Rudolf [editor.] | Nonnengart, Andreas [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1244Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Logic Programming And Nonmonotonic Reasoning [electronic resource] : 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings / edited by Jürgen Dix, Ulrich Furbach, Anil Nerode. by Dix, Jürgen [editor.] | Furbach, Ulrich [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1265Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 8th International Workshop, ALT '97 Sendai, Japan, October 6–8, 1997 Proceedings / edited by Ming Li, Akira Maruoka. by Li, Ming [editor.] | Maruoka, Akira [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1316Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings / edited by José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska. by Alferes, José Jülio [editor.] | Pereira, Luís Moniz [editor.] | Orlowska, Ewa [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1126Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Grammatical Interference: Learning Syntax from Sentences [electronic resource] : Third International Colloquium, ICGI-96 Montpellier, France, September 25–27, 1996 Proceedings / edited by Laurent Miclet, Colin Higuera. by Miclet, Laurent [editor.] | Higuera, Colin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1147Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 7th International Workshop, ALT '96 Sydney, Australia, October 23–25, 1996 Proceedings / edited by Setsuo Arikawa, Arun K. Sharma. by Arikawa, Setsuo [editor.] | Sharma, Arun K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1160Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|