Your search returned 2 results.

Results
	1.	Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings / edited by Stéphane Demri, Deepak Kapur, Christoph Weidenbach. by Demri, Stéphane [editor.] Kapur, Deepak [editor.] Weidenbach, Christoph [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8562 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	2.	Computer Mathematics [electronic resource] : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers / edited by Deepak Kapur. by Kapur, Deepak [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5081 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold

Refine your search