Mendeley出力
＜図書＞
Computational logic and proof theory : 5th Kurt Gödel Colloquim, 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. ; 24 cm |
| 概要 | 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 revise... 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. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/7004791 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
: pbk | 理系図 自動書庫 | 408/L 49 | 1997 |
|
061232004017147 |
|
書誌詳細
| 一般注記 | 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 |
| 書誌ID | 1000994317 |
| ISBN | 3540633855 |
| NCID | BA32295134 |
| 巻冊次 | : pbk ; ISBN:3540633855 |
| 登録日 | 2009.09.16 |
| 更新日 | 2017.02.18 |