Mendeley出力
＜図書＞
The Seventeen provers of the world / Freek Wiedijk (ed.) ; foreword by Dana S. Scott
(Lecture notes in computer science ; 3600 . Lecture notes in artificial intelligence)
| 電子版 >> | Seventeen Provers of the World |
|---|---|
| 出版情報 | Berlin : Springer , c2006 |
| 巻冊次 | ISBN:3540307044 ; XISBN:9783540307044 
|
| ISBN | 3540307044 |
| 本文言語 | 英語 |
| 大きさ | xvi, 157 p. ; 24 cm |
[BOOKデータASPサービス] あらすじ／目次
書誌詳細を表示
| 一般注記 | Includes bibliographical references and index "This volume starts a new subline of Lecture notes in artificial intelligence, called AI-SYSTEM" -- Editorial "AI systems" --On cover |
|---|---|
| 著者標目 | *Wiedijk, Freek Scott, Dana S. |
| 分 類 | SG:004 |
| 書誌ID | 1020074336 |
| NCID | BA75872604 |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | 利用注記 | 予約・取寄 | 資料メモ | 仮想書架 |
|---|---|---|---|---|---|---|---|---|---|
| 多:B2F小図移管 |
|
007/L49/3600 | 10602020368694 |
|