Search

Your search returned 5 results.

Results
		No cover image available Semantical investigations in Heyting's intuitionistic logic by Gabbay, Dov M \| . Series: Edition: Language: English Publication details: Dordrecht ; D. Reidel, ; 1981Availability: Items available for loan: 1 Call number: 517.1 Gab. Place hold Add to cart (remove)
		No cover image available Handbook of logic in aritificial intelligence and logic programming by \| Gabbay, Dov M \| Gabbay, Dov M. Series: Edition: Language: English Publication details: Oxford ; Clarendon Press ; 1993Availability: Items available for loan: 1 Call number: 681.342:517.1Han-1. Place hold Add to cart (remove)
		Handbook of logic in aritificial intelligence and logic programming by \| Gabbay, Dov M \| Gabbay, Dov M. Series: Edition: Language: English Publication details: Oxford ; Clarendon Press ; 1994Availability: Not available: Checked out (1). Place hold Add to cart (remove)
		No cover image available Investigations in modal and tense logics with applications to problems in philosophy and linguistics by Gabbay, Dov M \| . Series: ISI S 8472 : 1777Edition: Language: English Publication details: Dordrecht ; D. Reidel Pub., ; 1976Availability: Items available for loan: 1 Call number: 16 Gab. Place hold Add to cart (remove)
		Neural-symbolic cognitive reasoning by D'Avila Garcez, Artur S \| Lamb, Luis C \| Gabbay, Dov M \| . Series: Cognitive technologiesEdition: Language: English Publication details: Berlin ; Springer - Verlag ; 2009Availability: Items available for loan: 1 Call number: 681.342:162DAv. Place hold Add to cart (remove)

Powered by Koha