Your search returned 2 results.

Results
			Automated Theorem Proving: Theory and Practice by NEWBORN;MONTY Language: English Publication details: New York:Springer-Verlag ; 2001 Availability: Items available for loan: UCSC Library (2)Collection, call number: Reference Collection 004.015 N28, ... Place hold Add to cart (remove)
			Decision Procedures: An Algorithmic Point of View by KROENING,DANIEL; STRICHMAN,OFER Language: English Publication details: Berlin:Springer-verlag ; 2008 Availability: Items available for loan: UCSC Library (7)Collection, call number: Reference Collection 004.015 K65, ... Place hold Add to cart (remove)

Refine your search