Your search returned 2 results.

Results
	1.	Theory and Applications of Satisfiability Testing - SAT 2014 [electronic resource] : 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings / by Sinz, Carsten [editor.] Egly, Uwe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8561 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings / by Egly, Uwe [editor.] Fernmüller, Christian G [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2381 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)

Refine your search