Shelfclass_id |
4.B.3 |
Sortkey |
KGC |
Authors |
Editors: Georg Gottlob, Alexander Leitsch, Daniele Mundici |
Title |
KGC 1997: Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997: Proceedings |
Publisher |
Springer |
Year |
1997 |
Languages |
eng |
Isbn |
3540633855 |
Series |
Lecture Notes in Computer Science |
Volume |
1289 |
Issn |
0302-9743 |
Description |
viii, 348 p. ill. 24 cm. |
Record date |
20110503 |
Location |
New York |
Keywords |
Automatic theorem proving, Congresses, Logic, Symbolic and mathematical |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0815/97030098-d.html |