Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automated reasoning : proceedings of the IFIP TC12/WG12.3 international workshop on automated reasoning, Beijing, P. R. China, 13-16 July 1992 / edited by Z. Shi Publication: Amsterdam : North-Holland, cop. 1992Description: XI, 341 p. :
il. ;
23 cmAvailability: Items available for loan: Call number: QA76.9.AUT FCT 22106 (1).
|
|
|
|
Automated deduction - CADE-11 : 11th international conference on automated deduction, Saratoga Springs, NY, USA, June 1992 / Deepak Kapur, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1992Description: XV, 793 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22869 (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).
|
|
|
|
Automated deduction - CADE-12 : proceedings of the 12th international conference on automated deduction, held in Nancy, France, June 26-July 1, 1994 / Alan Bundy, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1994Description: XVI, 848 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 25354 (1).
|
|
|
|
|
|
|
|
|
|
|
|
Handbook of tableau methods / edited by Marcello d'Agostino ... [et al.] Publication: Dordrecht, NL : Boston : London : Kluwer Academic Publishers, cop. 1999Description: VIII, 670 p. ;
25 cmAvailability: Items available for loan: Call number: QA76.9.HAN FCT 46311 (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Practical reasoning : proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3-7, 1996 / Dov M. Gabbay, Hans Jurgen Ohlbach, ed. lit. Publication: Berlin : Springer, cop. 1996Description: XV, 719 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 34769 (1).
|
|
|
|
|
|
|
|
Deduction systems / Rolf Socher-Ambrosius, Patricia Johann Publication: New York : Springer, cop. 1997Description: XII, 206 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: QA76.9.SOC FCT 36415 (1).
|
|
|
|
Gems of theoretical computer science / Uwe Schöning, Randall Pruim Publication: Berlin [etc.] : Springer, cop. 1998Description: X, 320 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: QA76.9.SCH FCT 38497 (1).
|
|
|
|
Gems of theoretical computer science / Uwe Schöning, Randall Pruim Publication: Berlin [etc.] : Springer, cop. 1998Description: X, 320 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.9.SCH FCT 46486 (1).
|
