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, P. H. Schmitt
Inbunden
2 699 kr
Automated Theorem Proving
Häftad, Engelska, 1987
1 369 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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 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, P. H. Schmitt
Inbunden
2 699 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, P. H. Schmitt
Inbunden
2 029 kr
Del 31
Mathematical Methods of Specification and Synthesis of Software Systems ‘85
Wolfgang Bibel, Klaus P. Jantke
Inbunden
2 679 kr
Grundlagen zur Neuroinformatik und Neurobiologie
Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel
Häftad
1 029 kr
Fuzzy-Systems in Computer Science
Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Rainer (Eds. Palm, Wolfgang Bibel
Häftad
709 kr
Handbuch Web Mining im Marketing
Hajo Hippner, Melanie Merzenich, Klaus D. Wilde, Wolfgang Bibel
Häftad
1 029 kr
SAP R/3® Guide to EDI and Interfaces
Axel Angeli, Ulrich Streit, Robi Gonfalonieri, Wolfgang Bibel
Häftad
689 kr
Ausgezeichnete Informatikdissertationen 1996
Wolfgang Bibel, H. Fiedler, W. Grass, Peter Gorny, Otto Kerner, K. Rüdiger Reischuk, Friedrich Roithmayr
Häftad
639 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
639 kr