Proof technology and computation / 
edited by Helmut Schwichtenberg and Katharina Spies 
 - Amsterdam :  IOS Press,  2006 
 - 445 p. :  ill. ;  25 cm. 
 - NATO science series. Series III, Computer and systems sciences 1387-6694  v. 200 .
<br/><br/><label>ISBN: </label>1586036254 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving--Congresses<br/>Computer programming--Congresses<br/>Computer software--Development--Congresses