Types for proofs and programs :  international workshop, TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers / 
Stefano Berardi and Mario Coppo, eds. 
 - Berlin :  Springer,  1996 
 - 296 p. 
 - Lecture notes in computer science ;  v. 1158 .
<br/><br/><label>ISBN: </label>3540617809 
<br/><br/><label>ISSN: </label>030297443 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.9 A96  / I594 1995