|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logic Programming '89 [electronic resource] : Proceedings of the 8th Conference Tokyo, Japan, July 12–14, 1989 / edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki. by Furukawa, Koichi [editor.] | Tanaka, Hozumi [editor.] | Fujisaki, Tetsunosuke [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 485Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic Programming '88 [electronic resource] : Proceedings of the 7th Conference Tokyo, Japan, April 11–14, 1988 / edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki. by Furukawa, Koichi [editor.] | Tanaka, Hozumi [editor.] | Fujisaki, Tetsunosuke [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 383Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Extensions of Logic Programming [electronic resource] : Second International Workshop, ELP '91 Stockholm, Sweden, January 27–29, 1991 Proceedings / edited by L. -H. Eriksson, L. Hallnäs, P. Schroeder-Heister. by Eriksson, L. -H [editor.] | Hallnäs, L [editor.] | Schroeder-Heister, P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 596Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Extensions of Logic Programming [electronic resource] : Third International Workshop, ELP '92 Bologna, Italy, February 26–28, 1992 Proceedings / edited by E. Lamma, P. Mello. by Lamma, E [editor.] | Mello, P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 660Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings / edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński. by Marek, V. Wiktor [editor.] | Nerode, Anil [editor.] | Truszczyński, M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 928Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Extensions of Logic Programming [electronic resource] : 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings / edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister. by Dyckhoff, Roy [editor.] | Herre, Heinrich [editor.] | Schroeder-Heister, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1050Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Multi-Agent Rationality [electronic resource] : 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97 Ronneby, Sweden, May 13–16, 1997 Proceedings / edited by Magnus Boman, Walter Velde. by Boman, Magnus [editor.] | Velde, Walter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1237Source: 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): .
|
