Larry Wos, Gail W. Pieper  <br/><br/>
The Collected Works of Larry Wos Vol 1 Exploring the Power of Automated Reasoning 

 - Singapore  World Scientific Company   2000 
 - Xvii,827 
<br/><br/><label>ISBN: </label>981-02-4996-9 
<br/><br/><label>Dewey Class. No.: </label>511.3  / WOS