Your search returned 2 results.

Results
	1.	Logic and language models for computer science / Henry Hamburger, Dana Richards by Hamburger, Henry, 1940- Richards, Dana Scott, 1955- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Upper Saddle River : Prentice Hall, 2002 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA267.3 . H35 2002. Place hold Add to cart (remove)
	2.	A proof theory for description logics / Alexandre Rademaker by Rademaker, Alexandre Series: SpringerBriefs in computer science Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: London ; New York : Springer, c2012 Availability: Items available for loan: LIC(LABUAN INTERNATIONAL CAMPUS) (1)Location, call number: LIC General Collection Q335 . R33 2012. Place hold Add to cart (remove)

Refine your search