| Record ID | marc_records_scriblio_net/part25.dat:228577:1311 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part25.dat:228577:1311?format=raw |
LEADER: 01311cam 2200289 a 4500
001 95012490 //r96
003 DLC
005 19980615110910.1
008 950405s1995 gw a b 101 0 eng
010 $a 95012490 //r96
020 $a3540585818 (acid-free paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.63$b.P76 1995
082 00 $a004/.01/5113$220
245 00 $aProof and computation /$cedited by Helmut Schwichtenberg.
260 $aBerlin ;$aNew York :$bSpringer,$cc1995.
300 $a470 p. :$bill. ;$c25 cm.
490 1 $aNATO ASI series. Series F, Computer and systems sciences ;$vvol. 139
500 $a"Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20-Aug. 1, 1993"--T.p. verso.
500 $a"Published in cooperation with NATO Scientific Affairs Division."
504 $aIncludes bibliographical references.
650 0 $aLogic programming$xCongresses.
650 0 $aLogic, Symbolic and mathematical$xCongresses.
700 1 $aSchwichtenberg, Helmut,$d1942-
710 2 $aNorth Atlantic Treaty Organization.$bScientific Affairs Division.
711 20 $aNATO Advanced Study Institute on Proof and Computation$d(1993 :$cMarktoberdorf, Germany)
830 0 $aNATO ASI series.$nSeries F,$pComputer and systems sciences ;$vno. 139.