01175cam a2200301 a 4500 20260819085404.0 080624s1995 gw r 100|0 engxd 3540605797 .b1146446x QA76.9 A96 T974 Types for proofs and programs : international workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers / Peter Dybjer, Bengt Nordstrom and Jan Smith (eds.) Berlin : Springer-Verlag, 1995 202 p. Lecture notes in computer science ; no. 996 Automatic theorem proving Congresses Computer programs Congresses Dybjer, Peter, ed. Nordstrom, Bengt, ed. Smith, Jan, ed. International Workshop TYPES '94 (1994 : Båstad, Sweden) .b1146446x mngc - 190904 0 960919 m a - 0 mngc 14 Barcode : 30050004006226 CREATED : 1996-09-19 RECORD # : i11839909 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 123775 123775 0 0 0 0 MAIN MAIN mngc 2026-08-19 0 QA76.9 A96 T974 30050004006226 2026-08-19 08:54:04 1 2026-08-19 14