Mendeley出力
＜電子ブック＞
Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings
| 責任表示 | |
|---|---|
| 著者 | |
| 本文言語 | |
| 出版者 | |
| 出版年 | |
| 出版地 | |
| 本文を見る | Springer Computer Science eBooks 2007 English/International: 2007 |
詳細
| レコードID | |
|---|---|
| 刊行頻度 | |
| データベース タイトル | |
| 主題 | |
| 管理番号 | |
| eISBN | |
| XISBN | |
| 登録日 | 2023.09.29 |
| 更新日 | 2023.09.29 |