このページのリンク

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds
(Lecture notes in computer science ; 1289)

データ種別 図書
出版者 Berlin ; Tokyo : Springer
出版年 c1997
本文言語 英語
大きさ viii, 348 p. : ill. ; 24cm

所蔵情報を非表示

書庫2階 QA:76.9:A96:K87:1997

002511894

書誌詳細を非表示

一般注記 Includes bibliographical references
著者標目 *Kurt Gödel Colloquium (5th : 1997 : Vienna, Austria)
Gottlob, Georg, 1956-
Leitsch, Alexander, 1952-
Mundici, Daniele, 1946-
件 名 LCSH:Automatic theorem proving -- Congresses  全ての件名で検索
LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分 類 LCC:QA76.9.A96
DC21:511.3
巻冊次 :pbk ; ISBN:3540633855 REFWLINK
ISBN 3540633855
NCID BA32295134 WCLINK
目次/あらすじ

 類似資料