Automated Theorem Proving

Häftad, Engelska, 1987

Av Wolfgang Bibel

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

Systemvetenskap och AI inom Data och it
Matematikens grunder inom Naturvetenskap och teknik
Artificiell intelligens inom Data och it

Mer från samma författare

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

2 669 kr

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

2 669 kr

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

2 009 kr

Mathematical Methods of Specification and Synthesis of Software Systems ‘85

Wolfgang Bibel, Klaus P. Jantke

2 789 kr

Grundlagen zur Neuroinformatik und Neurobiologie

Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel

1 029 kr

Fuzzy-Systems in Computer Science

Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Rainer (Eds. Palm, Wolfgang Bibel

709 kr

Handbuch Web Mining im Marketing

Hajo Hippner, Melanie Merzenich, Klaus D. Wilde, Wolfgang Bibel

1 029 kr

SAP R/3® Guide to EDI and Interfaces

Axel Angeli, Ulrich Streit, Robi Gonfalonieri, Wolfgang Bibel

689 kr

Ausgezeichnete Informatikdissertationen 1996

Wolfgang Bibel, H. Fiedler, W. Grass, Peter Gorny, Otto Kerner, K. Rüdiger Reischuk, Friedrich Roithmayr

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

639 kr

Automated Theorem Proving

Produktinformation

Tillhör följande kategorier

Mer från samma författare

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Mathematical Methods of Specification and Synthesis of Software Systems ‘85

Grundlagen zur Neuroinformatik und Neurobiologie

Fuzzy-Systems in Computer Science

Handbuch Web Mining im Marketing

SAP R/3® Guide to EDI and Interfaces

Ausgezeichnete Informatikdissertationen 1996

Artificial Intelligence — Eine Einführung

Du kanske också är intresserad av

Prolog

Schließen bei unsicherem Wissen in der Künstlichen Intelligenz

Neuronale Netze und Fuzzy-Systeme

Parallelism in Logic

Prolog

Die Wissensrepräsentationssprache OPS5

Logische und Funktionale Programmierung

Modulare Regelprogrammierung

Wissensbasierte Echtzeitplanung

Automatisierung von Terminierungsbeweisen

Akademibokhandeln

Akademibokhandeln

Hjälp

Hjälp

Tjänster

Tjänster

Erbjudanden

Erbjudanden

Inspiration

Inspiration