| Record ID | marc_records_scriblio_net/part25.dat:25006675:963 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part25.dat:25006675:963?format=raw |
LEADER: 00963cam 2200253 a 4500
001 95044954 //r96
003 DLC
005 19960403105813.0
008 951004s1995 gw a b 100 0 eng
010 $a 95044954 //r96
020 $a3540605797 (pbk. : acid₋free paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.A96$bI594 1994
082 00 $a005.13/1$220
111 2 $aInternational Workshop TYPES '94$d(1994 :$cBåstad, Sweden)
245 10 $aTypes for proofs and programs :$bInternational Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers /$cPeter Dybjer, Bengt Nordström, Jan Smith, eds.
260 $aBerlin ;$aNew York :$bSpringer,$cc1995.
300 $ax, 202 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v996
504 $aIncludes bibliographical references.
650 0 $aAutomatic theorem proving$xCongresses.
700 1 $aDybjer, Peter.
700 1 $aNordström, Bengt.
700 1 $aSmith, Jan M.