Your search returned 10 results.

Not what you expected? Check for suggestions

Results
	1.	Mathematical Problems from Applied Logic I [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev. by Gabbay, Dov M [editor.] Goncharov, Sergei S [editor.] Zakharyaschev, Michael [editor.] SpringerLink (Online service) Series: International Mathematical Series ; 4 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Mathematical Problems from Applied Logic II [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov. by Gabbay, Dov M [editor.] Zakharyaschev, Michael [editor.] Goncharov, Sergei S [editor.] SpringerLink (Online service) Series: International Mathematical Series ; 5 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. by Carnielli, Walter [author.] Coniglio, Marcelo [author.] Gabbay, Dov M [author.] Gouveia, Paula [author.] Sernadas, Cristina [author.] SpringerLink (Online service) Series: Applied Logic Series ; 35 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR ʼ96, Bonn, Germany, June 3-7, 1996 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.). by International Conference on Formal and Applied Practical Reasoning (1996 : Bonn, Germany) Gabbay, Dov M, 1945- Ohlbach, Hans Jürgen Series: Lecture notes in computer science ; 1085. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1996 Other title: FAPR '96 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Qualitative and quantitative practical reasoning : first International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 : proceedings / Dov M. Gabbay [and others] (eds.). by International Joint Conference on Qualitative and Quantitative Practical Reasoning (1st : 1997 : Bad Honnef, Germany) Gabbay, Dov M, 1945- Series: Lecture notes in computer science ; 1244. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1997 Other title: ECSQARU-FAPR '97 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans J. Ohlbach (eds.). by Gabbay, Dov M, 1945- Ohlbach, Hans Jürgen Series: Lecture notes in computer science ; 827. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1994 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	The functional interpretation of logical deduction / Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay. by Queiroz, Ruy J. G. B. de Oliveira, Anjolina G. de Gabbay, Dov M, 1945- Series: Advances in logic ; v. 5. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Singapore : World Scientific, ©2012 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	8.	Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming [electronic resource] / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson. by Gabbay, Dov M, 1945- Hogger, Christopher John Robinson, J. A. (John Alan) NetLibrary, Inc Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Oxford : Oxford ; New York : Clarendon Press ; Oxford University Press, 1998 Other title: Logic programming Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	9.	Handbook of logic in computer science. Volume 5, Logic and algebraic methods [electronic resource] / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay. by Abramsky, Samson, 1953- Gabbay, Dov M, 1945- Maibaum, Thomas S. E, 1947- Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 2000 Other title: Logic and algebraic methods Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	10.	Interactive logic [electronic resource] : selected papers from the 7th Augustus de Morgan Workshop, London / edited by Johan Van Benthem, Dov Gabbay, Benedikt Löwe. by Augustus de Morgan Workshop (7th : 2005 : London, England) Benthem, J. F. A. K. van, 1949- Löwe, Benedikt Gabbay, Dov M, 1945- NetLibrary, Inc Series: Texts in logic and games ; v. 1 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Amsterdam : Amsterdam Univsity Press, c2007 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha