| Record ID | marc_records_scriblio_net/part26.dat:137065062:1163 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part26.dat:137065062:1163?format=raw |
LEADER: 01163cam 2200289 a 4500
001 97030098
003 DLC
005 19971003062936.7
008 970717s1997 gw a b 100 0 eng c
010 $a 97030098
020 $a3540633855 (pbk. : alk. paper)
040 $aDNLM/DLC$cDLC$dDLC
050 04 $aQA76.9.A96$bK87 1997
082 00 $a511.3$221
111 2 $aKurt Gödel Colloquium$n(5th :$d1997 :$cVienna, Austria)
245 10 $aComputational logic and proof theory :$b5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings /$cGeorg Gottlob, Alexander Leitsch, Daniele Mundici (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc1997.
300 $aviii, 348 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v1289
500 $a"Organized by the Kurt Gödel Society"--Pref.
504 $aIncludes bibliographical references.
650 0 $aAutomatic theorem proving$xCongresses.
650 0 $aLogic, Symbolic and mathematical$xCongresses.
700 1 $aGottlob, G.$q(Georg)
700 1 $aLeitsch, Alexander,$d1952-
700 1 $aMundici, Daniele,$d1946-
710 2 $aKurt Gödel Society.