Powiedz znajomym o tym przedmiocie:
Automated Theorem Proving - Kunstliche Intelligenz 2nd ed. 1987 edition
Wolfgang Bibel
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 | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 1987 |
ISBN13 | 9783528185206 |
Wydawcy | Friedrich Vieweg & Sohn Verlagsgesellsch |
Strony | 289 |
Wymiary | 485 g |