Your search returned 3 results.

Results
	1.	Logic for applications by Nerode, Anil, 1932- Shore, Richard A, 1946- Series: Graduate texts in computer science (Springer-Verlag New York Inc.) Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c1997 Online access: Publisher description Table of contents only Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)
	2.	Automata, logics, and infinite games by Gradel, Erich Thomas, Wolfgang Wilke, Thomas Series: Lecture notes in computer science ; 2500 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2002 Online access: Publisher description Availability: Items available for loan: IIITD (1)Call number: REF 004.015 GRA-A. Place hold Add to cart (remove)
	3.	Reasoning about uncertainty by Halpern, Joseph Y Material type: Text; Format: print ; Literary form: Not fiction Publication details: Massachusetts : MIT ©2005 Availability: Items available for loan: IIITD (1)Call number: 003.54 HAL-R. (1 votes) Place hold Add to cart (remove)

Refine your search