TY  - BOOK
AU  - Berardi,Stefano
AU  - Coppo,Mario
ED  - International Workshop TYPES '95
TI  - Types for proofs and programs: international workshop, TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers 
SN  - 3540617809
SN  - 030297443
AV  - QA76.9 A96 I594 1995
PY  - 1996///
CY  - Berlin
PB  - Springer
KW  - Automatic theorem proving
KW  - Congresses
ER  -