KROENING,DANIEL; STRICHMAN,OFER <br/><br/>
Decision Procedures: An Algorithmic Point of View 

 -  Berlin:Springer-verlag  2008 
 - 304 p. 
<br/><br/><label>ISBN: </label>9783540741046 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematical Principles
<br/><br/><label>Dewey Class. No.: </label>004.015  / K65