Wos,  Larry <br/><br/>
Automated reasoning  :  33 Basic research problems / 
Wos, Larry 
<br/><br/><label>Dewey Class. No.: </label>511.3 W91 A