Your search returned 2 results.

Results
	1.	Finite Model Theory and Its Applications [electronic resource] / by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein. by Grädel, Erich [author.] Kolaitis, Phokion G [author.] Libkin, Leonid [author.] Marx, Maarten [author.] Spencer, Joel [author.] Vardi, Moshe Y [author.] Venema, Yde [author.] Weinstein, Scott [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science an EATCS Series Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	2.	Computer Science Logic [electronic resource] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings / edited by Erich Grädel, Reinhard Kahle. by Grädel, Erich [editor.] Kahle, Reinhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5771 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold

Refine your search