01102cam a2200289 a 4500 20260819085404.0 080624s1996 gw r 100|0 eng d 3540617809 030297443 .b11557588 QA76.9 A96 I594 1995 International Workshop TYPES '95 (1995 : Torino, Italy) 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 Automatic theorem proving Congresses Berardi, Stefano, ed. Coppo, Mario, ed. .b11557588 mngc - 121029 0 970424 m a - 0 mngc 14 Barcode : 30050004044243 CREATED : 1997-04-24 RECORD # : i11933008 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 123776 123776 0 0 0 0 MAIN MAIN mngc 2026-08-19 0 QA76.9 A96 I594 1995 30050004044243 2026-08-19 08:54:04 1 2026-08-19 14