Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings /
This book constitutes the refereed proceedings of the 5th Kurt G del 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 b...
Saved in:
| Corporate Authors: | , , , |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1997], ©1997
Berlin ; New York : c1997 Berlin ; New York : [1997] |
| Series: | Lecture notes in computer science ;
1289 Lecture notes in computer science 1289 Lecture notes in computer science ; 1289 Lecture notes in computer science 1289 Lecture notes in computer science 1289 Lecture notes in computer science 1289 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Internet
Stanford University
| Call Number: |
QA76.9 .A96 K87 1997 |
|---|
University of Chicago
| Call Number: |
QA76.9.A96K875 1997 |
|---|
Massachusetts Institute of Technology
| Call Number: |
QA76.9.A96.K87 1997 |
|---|
Harvard University
| Call Number: |
QA75 .L4 vol. 1289 |
|---|
Duke University
| Call Number: |
001.64 L471, v.1289 |
|---|
Cornell University
| Call Number: |
QA76.9.A96 K97 1997 |
|---|
Columbia University
| Call Number: |
QA76.9.A96 K87 1997 |
|---|
University of Pennsylvania
| Call Number: |
QA76.9.A96 K87 1997 |
|---|
Brown University
| Call Number: |
QA76.9.A96 K87 1997 |
|---|