Tell your friends about this item:
Automated Theorem Proving - Kunstliche Intelligenz 2nd ed. 1987 edition
Wolfgang Bibel
Price
$ 121.49
Ordered from remote warehouse
Expected delivery Dec 4 - 17
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Automated Theorem Proving - Kunstliche Intelligenz 2nd ed. 1987 edition
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
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | 1987 |
| ISBN13 | 9783528185206 |
| Publishers | Friedrich Vieweg & Sohn Verlagsgesellsch |
| Pages | 289 |
| Dimensions | 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)