Koha online catalog › Results of search for 'su:"Predicate logic"'

	1.	Mathematical methods in artificial intelligence by Bender, Edward A. Material type: Book; Format: print ; Literary form: Not fiction Publisher: California: IEEE Computer Society, 2000Availability: Items available for loan: [Call number: 006.3015 BEN] (1). Place hold
	2.	Switching theory insight through predicated logic by Vingron, Shimon P. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 621.3815372 VIN] (1). Place hold
	3.	Logic in computer science : modelling and reasoning about systems by Huth, Michael \| Ryan, Mark. Edition: 2nd ed.Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 005.1 HUT] (2). Place hold
	4.	Formal ontology and conceptual realism by Cocchiarella, Nino B. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2007Availability: Items available for loan: [Call number: 111 COC] (1). Place hold

Koha online