この商品を友人に教える:
Automated Theorem Proving - Kunstliche Intelligenz Wolfgang Bibel 2nd ed. 1987 edition
価格
¥ 16.860
税抜
遠隔倉庫からの取り寄せ
発送予定日 2026年1月5日 - 2026年1月15日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Automated Theorem Proving - Kunstliche Intelligenz
Wolfgang Bibel
Since both the coments and the structure of the book appeared to be successful, only minor changes were made. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity.
304 pages
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 1987 |
| ISBN13 | 9783528185206 |
| 出版社 | Friedrich Vieweg & Sohn Verlagsgesellsch |
| ページ数 | 289 |
| 寸法 | 150 × 220 × 10 mm · 485 g |
| 言語 | ドイツ語 |
![Cover for Wolfgang Bibel · Lehren Vom Leben: Essays UEber Mensch Und Gesellschaft - Sozialwissenschaft (Paperback Book) [2003 edition] (2003)](https://imusic.b-cdn.net/images/item/original/196/9783824445196.jpg?wolfgang-bibel-2003-lehren-vom-leben-essays-ueber-mensch-und-gesellschaft-sozialwissenschaft-paperback-book&class=scaled&v=1470215724)
![Cover for Wolfgang Bibel · Fuzzy Theorie Und Stochastik: Modelle Und Anwendungen in Der Diskussion - Computational Intelligence (Paperback Book) [1999 edition] (1999)](https://imusic.b-cdn.net/images/item/original/827/9783528056827.jpg?wolfgang-bibel-1999-fuzzy-theorie-und-stochastik-modelle-und-anwendungen-in-der-diskussion-computational-intelligence-paperback-book&class=scaled&v=1463391539)
![Cover for Wolfgang Bibel · Wissensreprasentation und Inferenz - Computational Intelligence (Paperback Book) [1993 edition] (1993)](https://imusic.b-cdn.net/images/item/original/741/9783528053741.jpg?wolfgang-bibel-1993-wissensreprasentation-und-inferenz-computational-intelligence-paperback-book&class=scaled&v=1470210051)
![Cover for Wolfgang Bibel · Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985 - Lecture Notes in Computer Science (Paperback Book) [1986 edition] (1986)](https://imusic.b-cdn.net/images/item/original/449/9783540164449.jpg?wolfgang-bibel-1986-mathematical-methods-of-specification-and-synthesis-of-software-systems-85-proceedings-of-the-international-spring-school-wendisch-rietz-gdr-april-22-26-1985-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1420639446)
![Cover for Wolfgang Bibel · Automated Theorem Proving (Paperback Book) [1982 edition] (1982)](https://imusic.b-cdn.net/images/item/original/209/9783528085209.jpg?wolfgang-bibel-1982-automated-theorem-proving-paperback-book&class=scaled&v=1418927841)