Results
|
|
|
Nonclassical logics and information processing : international workshop held in Berlin, Germany, November 9-10, 1990~eproceedings / David Pearce, Heinrich Wansing, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1992Description: 171 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22871 (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).
|
|
|
|
GWAI-92 : advances in artificial intelligence / Hans Jürgen Ohlbach, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: XI, 367 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22875 (1).
|
|
|
|
Fuzzy logic in artificial intelligence : 8th Austrian artificial conference, FLAI'93, held in Linz, Austria, June 28-30, 1993 / Erich Peter Klement, Wolfgang Slany, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: VIII, 191 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22876 (1).
|
|
|
|
Conceptual graphs for knowledge representation : first international conference on conceptual structures, ICCS'93, held in Quebec City, Canada, August 4-7, 1993 / Guy W. Mineau, Bernard Moulin, John F. Sowa, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: IX, 451 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22878 (1).
|
|
|
|
Computer science logic : 6th workshop, CSL'92, held in San Miniato, Italy, September 28-October 2, 1992 / E. Bõrger, ed. lit. Publication: Berlin : Heidelberg, DE : Springer-Verlag, cop. 1993Description: VIII, 439 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 22879 (1).
|
|
|
|
Computational logic and proof theory : third Kurt Gõdel colloquium, KGC'93, held in Brno, Czech Republic, August 24-27, 1993 / Georg Gottlob, Alexander Leitsch, Daniele Mundici, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: XI, 348 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 22880 (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).
|
|
|
|
Database and expert systems applications : 4th international conference, DEXA'93, held in Prague, Czech Republic, September 6-8, 1993 / Vladimir Marik, Jiri Lazansky, Roland R. Wagner, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: XV, 768 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 22882 (1).
|
|
|
|
Knowledge acquisition for knowledge-based systems : EKAW'93 : 7th European Workshop held in Toulouse and Caylus, France, September 1993 / Nathalie Aussenac, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: XIII, 446 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22883 (1).
|
|
|
|
Progress in artificial intelligence : 6th portuguese conference on AI, EPIA'93, held in Porto, Portugal, October 6-8, 1993 / Miguel Filgueiras, Luis Damas, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: X, 362 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22884 (1).
|
|
|
|
Machine learning: ECML-93 : European Conference on Machine Learning, held in Vienna, Austria, April 5-7, 1993 / Pavel B. Brazdil, ed. lit. Publication: Berlin : Heidelberg, DE : Springer-Verlag, cop. 1993Description: XII, 469 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 23164 (1).
|
|
|
|
Second generation expert systems / Jean-Marc David, Jean-Paul Krivine, Reid Simmons, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: IX, 764 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: QA76.76.SEC FCT 23255 (1).
|
|
|
|
Prototyping-oriented software development : concepts and tools / Walter R. Bischofberger, Gustav Pomberger Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1992Description: XI, 215 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.76.BIS FCT 23278 (1).
|
|
|
|
Object-oriented programming in Oberon-2 / Hanspeter Mõssenbõck ; Robert Bach, trad. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: XIII, 278 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.64.MÕS FCT 23279 (1).
|
