Wos L <br/><br/>
Collected Works of Larry Wos, the In 2 Vols, Vol I: Exploring the Power of Automated Reasoning; Vol Ii: Applying Automated Reasoning to Puzzles, Problems, and Open Questions 

 -  World Scientific  WSPC  2000 
<br/><br/><label>ISBN: </label>9789812813411 
<br/><br/><label>Source: </label>EBOOK 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics