Wos Larry & Pieper Gail W <br/><br/>
Fascinating Country in the World of Computing, a: Your Guide to Automated Reasoning 

 -  World Scientific  WSPC  1999 
<br/><br/><label>ISBN: </label>9789812817952 
<br/><br/><label>Source: </label>EBOOK 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science