Results
|
|
Types in logic programming / Frank Pfenning, ed. lit. Publication: Cambridge, US : The MIT Press, cop. 1992Description: XVIII, 357 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.63.TYP FCT 22117 (1).
|
|
|
Logic programming : proceedings of the joint international conference and symposium on logic programming / K. R. Apt, ed. lit. Publication: Cambridge, US : The MIT Press, cop. 1992Description: XX, 848 p. :
il. ;
23 cmAvailability: Items available for loan: Call number: QA76.63.LOG FCT 22130 (1).
|
|
|
Logic programming : first Russian conference on logic programming, Irkutsk, Russia, September 14-18, 1990 / editor A. Voronkov Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1992Description: IX, 514 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22857 (1).
|
|
|
Handbook of logic in artificial intelligence : vol. 1 / Dov M. Gabbay, C. J. Hogger, J. A. Robinson, ed. lit. Publication: London : [s.n.], cop. 1993Description: XIII, 518 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.63.HAN FCT 22859 (1).
|
|
|
Extensions of logic programming : second international workshop, ELP'91, Stockholm, Sweden, January 1991 / Lars-Henrik Eriksson, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1992Description: 369 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22865 (1).
|
|
|
Logic programming and automated reasoning : international conference LPAR'92, held in St. Petersburg, Russia, July 15-20, 1992 / edited by Andrei Voronkov Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1992Description: XIV, 509 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22872 (1).
|
|
|
Nonmonotonic and inductive logic : second international workshop, held in Reinhardsbrunn Castle, Germany, December 2-6, 1991 / Gerd Brewka, Klaus P. Jantke, Peter H. Schmitt, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: VIII, 332 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22873 (1).
|
|
|
Extensions of logic programming : third international workshop, ELP'92, held in Bologna, Italy, February 26-28, 1992 / Evelina Lamma, Paola Mello, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: VIII, 417 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22874 (1).
|
|
|
Programming language implementation and logic programming : 5th international symposium, PLILP'93, held in Tallinn, Estonia, August 25-27, 1993 / Maurice Bruynooghe, Jaan Penjam, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: XI, 421 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 22881 (1).
|
|
|
Constraint logic programming : selected research / Frédéric Benhamou, Alain Colmerauer, ed. lit. Publication: Cambridge, US : The MIT Press, cop. 1993Description: XIV, 486 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.63.CON FCT 23162 (1).
|
|
|
|
|
|
Logic programming : proceedings of the 1993 international symposium / Dale Miller, ed. lit. Publication: Cambridge, US : The MIT Press, cop. 1993Description: XXII, 686 p. :
il. ;
23 cmAvailability: Items available for loan: Call number: QA76.63.LOG FCT 23843 (1).
|
|
|
Inductive logic programming : techniques and applications / Nada Lavrac, Saso Dzeroski Publication: New York [etc.] : Ellis Horwood, cop. 1994Description: XIX, 293 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.63.LAV FCT 23270 (1).
|
|
|
|
|
|
Interactive theory revision : an inductive logic programming approach / Luc De Raedt Publication: London : Academic Press, cop. 1992Description: XX, 236 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.63.RAE FCT 23612 (1).
|
|
|
|
|
|
Inductive logic programming / Stephen Muggleton, ed. lit. Publication: London : Academic Press, cop. 1992Description: XIV, 565 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.63.IND FCT 23613 (1).
|
|
|
Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program synthesis and transformation, Louvain-la Neuve, Belgium, 7-9 July, 1993 / Yves Deville, ed. lit. Publication: London : Springer-Verlag, cop. 1994Description: XII, 245 p. :
il. ;
24 cmAvailability: Items available for reference: Não pode ser emprestado, apenas consulta localCall number: QA76.63.LOG FCT 23646 (1). :
|