Sandford, David M. <br/><br/>
Using sophisticated models in resolution theorem proving / 
David M. Sandford 
 - Berlin :  Springer-Verlag,  1980 
 - 239 p. ;  24 cm. 
 - Lecture note in computer science  90 .
<br/><br/><label>ISBN: </label>3540102310 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer architecture