Del 9
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel, P.H. Schmitt
Inbunden
2 769 kr
Del i serien Künstliche Intelligenz
Automated Theorem Proving
Häftad, Engelska, 1987
1 429 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum1987-01-01
- Mått170 x 244 x 17 mm
- Vikt528 g
- FormatHäftad
- SpråkEngelska
- SerieKünstliche Intelligenz
- Antal sidor289
- Upplaga2
- FörlagFriedrich Vieweg & Sohn Verlagsgesellschaft mbH
- ISBN9783528185206
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Del 8
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel, P.H. Schmitt
Inbunden
2 769 kr
Del 10
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel, P.H. Schmitt
Inbunden
2 139 kr
Del 31
Mathematical Methods of Specification and Synthesis of Software Systems ‘85
Wolfgang Bibel, Klaus P. Jantke
Inbunden
2 409 kr
Grundlagen zur Neuroinformatik und Neurobiologie
Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel
Häftad
1 039 kr
Fuzzy-Systems in Computer Science
Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Wolfgang Bibel
Häftad
719 kr
SAP R/3® Guide to EDI and Interfaces
Axel Angeli, Ulrich Streit, Robi Gonfalonieri, Wolfgang Bibel
Häftad
699 kr
Ausgezeichnete Informatikdissertationen 1996
Wolfgang Bibel, H. Fiedler, W. Grass, Peter Gorny, Otto Kerner, K. Rüdiger Reischuk, Friedrich Roithmayr
Häftad
649 kr
Artificial Intelligence — Eine Einführung
Johannes Retti, Wolfgang Bibel, Bruno Buchberger, Ernst Buchberger, Werner Horn, Alfred Kobsa, Ingeborg Steinacker, Robert Trappl, Harald Trost
Häftad
649 kr