Your search returned 3 results.

Results
	1.	Reasoning about knowledge by Fagin, Ronald Halpern, Joseph Y Moses, Yoram Vardi, Moshe Y Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : MIT , ©1995 Availability: Items available for loan: IIITD (1)Call number: 153.43 FAG-R. Place hold Add to cart (remove)
	2.	Computer Aided Verification [electronic resource] : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / by Hu, Alan J [editor.] Vardi, Moshe Y [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1427 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Formal Techniques for Networked and Distributed Systems - FORTE 2002 [electronic resource] : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings / by Peled, Doron A [editor.] Vardi, Moshe Y [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2529 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in