Your search returned 2 results.

Results
	1.		Image from Amazon.com	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 ; 8562Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Programming Logics [electronic resource] : Essays in Memory of Harald Ganzinger / edited by Andrei Voronkov, Christoph Weidenbach. by Voronkov, Andrei [editor.] Weidenbach, Christoph [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7797Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Refine your search