Search the Library Catalogue

Advanced search

Your search returned 6 results.

Results
	1.		Handbook of logic in artificial intelligence and logic programming edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson by Gabbay, Dov M Hogger, Christopher John Robinson, J. A Publication details: Oxford Clarendon Press ; Oxford University Press 1993-1998 Availability: Items available for loan: Anna Centenary Library (2)Call number: QA76.63 .H36 1993 006.3/3, ...
	2.		Handbook of automated reasoning editors, Alan Robinson and Andrei Voronkov by Robinson, J. A Voronkov, A Publication details: Amsterdam ; New York ; Cambridge, MA Elsevier, MIT Press c2001 Availability: Items available for loan: Anna Centenary Library (2)Call number: QA76.9.A96 H35 2001 511.3, ...
	3.		Handbook of automated reasoning editors, Alan Robinson and Andrei Voronkov by Robinson, J. A Voronkov, A Publication details: Amsterdam ; New York ; Cambridge, MA Elsevier, MIT Press c2001 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 ROB.2.
	4.		Handbook of logic in artificial intelligence and logic programming edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson by Gabbay, Dov M Hogger, Christopher John Robinson, J. A Publication details: Oxford Clarendon Press ; Oxford University Press c1993-1998 Availability: Items available for loan: Anna Centenary Library (1)Call number: 006.3 GAB.
	5.		Handbook of automated reasoning Handbook of automated reasoning by "Robinson, J. A" "editors, Alan Robinson and Andrei Voronkov." Edition: "2 v. (xxv, 2122 p.) : ill. ; 25 cm." Publication details: "Amsterdam ; New York : Cambridge, Mass." ; MIT Press ; 2001 Availability: No items available.
	6.		Handbook of automated reasoning Handbook of automated reasoning by "Robinson, J. A" "editors, Alan Robinson and Andrei Voronkov." Edition: "2 v. (xxv, 2122 p.) : ill. ; 25 cm." Publication details: "Amsterdam ; New York : Cambridge, Mass." ; Elsevier ; 2001 Availability: No items available.

Find us on the map

Powered by Koha