Mendeley出力
＜図書＞
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday / Dieter Hutter, Werner Stephan (eds.)
(Lecture notes in computer science ; 2605 . Lecture notes in artificial intelligence)
| 電子版 >> | Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday |
|---|---|
| 出版情報 | Berlin : Springer , c2005 |
| 巻冊次 | ISBN:3540250514 
|
| ISBN | 3540250514 |
| 本文言語 | 英語 |
| 大きさ | ix, 563 p. : ill. ; 24 cm |
[BOOKデータASPサービス] あらすじ／目次
書誌詳細を表示
| 一般注記 | "Festschrift"--Cover Includes bibliographical references and index |
|---|---|
| 著者標目 | Hutter, Dieter Stephan, Werner |
| 件 名 | FREE:Siekmann, Jörg H. LCSH:Automatic theorem proving LCSH:Logic, Symbolic and mathematical LCSH:Reasoning -- Automation 全ての件名で検索 LCSH:Reasoning -- Technique 全ての件名で検索 |
| 書誌ID | 1020026025 |
| NCID | BA71360804 |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | 利用注記 | 予約・取寄 | 資料メモ | 仮想書架 |
|---|---|---|---|---|---|---|---|---|---|
| 多:B2F小図移管 |
|
007/L49/2605 | 10602020358702 |
|