Fortæl dine venner om denne vare:
Automated Theorem Proving - Kunstliche Intelligenz 2nd ed. 1987 edition
Wolfgang Bibel
Pris
S$ 200
Bestilles fra fjernlager
Forventes klar til forsendelse 2. - 10. jun.
Tilføj til din iMusic ønskeseddel
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 1987 |
| ISBN13 | 9783528185206 |
| Forlag | Friedrich Vieweg & Sohn Verlagsgesellsch |
| Antal sider | 289 |
| Mål | 485 g |
![Cover for Wolfgang Bibel · Lehren Vom Leben: Essays UEber Mensch Und Gesellschaft - Sozialwissenschaft (Paperback Bog) [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-bog&class=scaled&v=1470215724)
![Cover for Wolfgang Bibel · Fuzzy Theorie Und Stochastik: Modelle Und Anwendungen in Der Diskussion - Computational Intelligence (Paperback Bog) [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-bog&class=scaled&v=1463391539)
![Cover for Wolfgang Bibel · Wissensreprasentation und Inferenz - Computational Intelligence (Paperback Bog) [1993 edition] (1993)](https://imusic.b-cdn.net/images/item/original/741/9783528053741.jpg?wolfgang-bibel-1993-wissensreprasentation-und-inferenz-computational-intelligence-paperback-bog&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 Bog) [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-bog&class=scaled&v=1420639446)
![Cover for Wolfgang Bibel · Automated Theorem Proving (Paperback Bog) [1982 edition] (1982)](https://imusic.b-cdn.net/images/item/original/209/9783528085209.jpg?wolfgang-bibel-1982-automated-theorem-proving-paperback-bog&class=scaled&v=1418927841)