Your search returned 2 results.

Results
	1.	Finite model theory and its applications by Gradel Erich Kolaitis Phokion G [Auth.] Libkin Leonid [Auth.] Marx Maarten [Auth.] Spencer Joel [Auth.] Vardi Moshe Y [Auth.] Venema Yde [Auth.] Weinstein Scott [Auth.] Series: Texts in theoretical computer science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 2007 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 G732. Place hold Add to cart (remove)
	2.	Proceedings of the second conference on theoretical aspects of reasoning about knowledge / [edited by] Moshe Y. Vardi. by Conference on Theoretical Aspects of Reasoning about Knowledge (7-9 Mar 1988: Pacific Grove, California) 2nd Vardi, Moshe Y [editor] Material type: Text; Format: print ; Literary form: Not fiction Publication details: California : Morgan Kaufmann Publishers, c1988 Other title: Proceedings of the 2nd conference on theoretical aspects of reasoning about knowledge Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.3 C748. Place hold Add to cart (remove)

Refine your search