The Resource Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings, (electronic resource)

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

Label
Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings
Title
Computational Logic and Proof Theory
Title remainder
5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 5th Kurt Gdel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity
Member of
Cataloging source
DKDLA
http://library.link/vocab/creatorName
Gottlob, G.
Dewey number
511.3
Index
no index present
LC call number
QA76.9.A96
Literary form
non fiction
Nature of contents
  • dictionaries
  • standards specifications
http://library.link/vocab/relatedWorkOrContributorName
  • Leitsch, Alexander
  • Mundici, Daniele
Series statement
Lecture Notes in Computer Science
Series volume
1289,
http://library.link/vocab/subjectName
  • Computer science
  • Computer software
  • Artificial intelligence
  • Logic, Symbolic and mathematical
  • Mathematical Logic and Formal Languages
  • Artificial Intelligence (incl. Robotics)
  • Mathematical Logic and Foundations
  • Algorithm Analysis and Problem Complexity
Label
Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings, (electronic resource)
Link
Instantiates
Publication
Extent
1 online resource.
Form of item
online
Isbn
9783540698067
Isbn Type
(electronic bk.)
Specific material designation
remote
System control number
  • (OCoLC)769774199
  • (OCoLC)ocn769774199
Label
Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings, (electronic resource)
Link
Publication
Extent
1 online resource.
Form of item
online
Isbn
9783540698067
Isbn Type
(electronic bk.)
Specific material designation
remote
System control number
  • (OCoLC)769774199
  • (OCoLC)ocn769774199

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...