Computational logic and proof theory : 5th Kurt Godel colloquium : Aug 1997, Vienna, Austria. (Lecture Notes in Computer Science ; 1289)

Computational logic and proof theory : 5th Kurt Godel colloquium : Aug 1997, Vienna, Austria.

(Lecture Notes in Computer Science ; 1289)

Notes on use

Note (General)：: Selected papers.Also known as KGC '97.Index term: KGC ; Godel ; computational logic ; proof theory....

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 3540633855 (pbk)
ISSN: 0302-9743
Title: Computational logic and proof theory : 5th Kurt Godel colloquium : Aug 1997, Vienna, Austria.
Series Title: Lecture Notes in Computer Science ; 1289
Author Heading: Kurt Godel Society.
Publication, Distribution, etc.: Springer
Publication Date: 1997.
Publication Date (W3CDTF): 1997
Extent: v.
Alternative Title: Also known as KGC '97
KGC ; Godel ; computational logic ; proof theory
NDLC: M17
M159
Note (General): Selected papers.
Also known as KGC '97.
Index term: KGC ; Godel ; computational logic ; proof theory.
BL shelfmark: 5180.185 vol 1289 1997.
Holding library: 国立国会図書館
Call No.: M17-00-0464
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003510265
http://id.ndl.go.jp/bib/000003510265
UKMARC No.: G05390092
Bibliographic Record Category (NDL): 215