Item Details

Print View

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : Proceedings

Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
Format
Book
Published
Berlin ; New York : Springer, c1997.
Language
English
Series
Lecture Notes in Computer Science
ISBN
3540633855 (pbk. : alk. paper)
Description
viii, 348 p. : ill. ; 24 cm.
Notes
  • "Organized by the Kurt Gödel Society"--Pref.
  • Includes bibliographical references.
Series Statement
Lecture notes in computer science 0302-9743 ; 1289
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01478pam a2200397 a 4500
    001 u2762070
    003 SIRSI
    005 19971003062936.7
    007 cr un----------
    008 970717s1997 gw a b 100 0 eng c
    010
      
      
    a| 97030098
    020
      
      
    a| 3540633855 (pbk. : alk. paper)
    035
      
      
    a| (Sirsi) i9783540633853
    035
      
      
    a| (Sirsi) i3540633855
    035
      
      
    a| (OCoLC)37426238
    040
      
      
    a| DNLM/DLC c| DLC d| DLC
    049
      
      
    a| VA@S
    050
    0
    4
    a| QA76.9.A96 b| K87 1997
    082
    0
    0
    a| 511.3 2| 21
    090
      
      
    a| SCIENG/QA76.9.A96 b| K87 1997
    111
    2
      
    a| Kurt Gödel Colloquium n| (5th : d| 1997 : c| Vienna, Austria)
    245
    1
    0
    a| Computational logic and proof theory : b| 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings / c| Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.).
    260
      
      
    a| Berlin ; a| New York : b| Springer, c| c1997.
    300
      
      
    a| viii, 348 p. : b| ill. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science x| 0302-9743 ; v| 1289
    500
      
      
    a| "Organized by the Kurt Gödel Society"--Pref.
    504
      
      
    a| Includes bibliographical references.
    596
      
      
    a| 14
    650
      
    0
    a| Automatic theorem proving v| Congresses.
    650
      
    0
    a| Logic, Symbolic and mathematical v| Congresses.
    700
    1
      
    a| Gottlob, G. q| (Georg)
    700
    1
      
    a| Leitsch, Alexander, d| 1952-
    700
    1
      
    a| Mundici, Daniele, d| 1946-
    710
    2
      
    a| Kurt Gödel Society.
    999
      
      
    a| QA76.9 .A96 K87 1997 w| LC i| X004151516 l| BY-REQUEST m| IVY t| BOOK
▾See more
▴See less

Availability

Google Preview

Google Books Preview
Library Location Map Availability Call Number
Ivy Stacks N/A Available