Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings
Resource Information
The work Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books.
The Resource
Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings
Resource Information
The work Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books.
- Label
- Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings
- Title remainder
- 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings
- Subject
-
- Artificial Intelligence (incl. Robotics)
- Artificial intelligence
- Artificial intelligence
- Computer Science
- Computer science
- Computer science
- Computer software
- Computer software
- Engineering & Applied Sciences
- Logic, Symbolic and mathematical
- Logic, Symbolic and mathematical
- Mathematical Logic and Formal Languages
- Mathematical Logic and Foundations
- Algorithm Analysis and Problem Complexity
- 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
- Cataloging source
- DKDLA
- Dewey number
- 511.3
- Index
- no index present
- LC call number
- QA76.9.A96
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- standards specifications
- Series statement
- Lecture Notes in Computer Science
- Series volume
- 1289,
Context
Context of Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 ProceedingsWork of
No resources found
No enriched resources found
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/kL9uSVcARHk/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/kL9uSVcARHk/">Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Work Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/kL9uSVcARHk/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/kL9uSVcARHk/">Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
