| Record ID | marc_loc_2016/BooksAll.2016.part22.utf8:153045190:1123 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part22.utf8:153045190:1123?format=raw |
LEADER: 01123pam a2200289 a 4500
001 93005923
003 DLC
005 19990716000000.0
008 930719s1993 gw a b 100 0 eng
010 $a 93005923
020 $a0387571841
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.A96$bK87 1993
082 00 $a511.3$220
111 2 $aKurt Gödel Colloquium$n(3rd :$d1993 :$cBrno, Czech Republic)
245 10 $aComputational logic and proof theory :$bThird Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings /$cGeorg Gottlob, Alexander Leitsch, Daniele Mundici, eds.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c1993.
300 $axi, 348 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v713
500 $aSponsored by Kurt Gödel Society.
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.