Hoppa till sidans huvudinnehåll

Automated Theorem Proving

Häftad, Engelska, 1987

Av Wolfgang Bibel

1 419 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
  • Antal sidor289
  • Upplaga87002
  • FörlagVieweg+teubner Verlag
  • ISBN9783528185206

Tillhör följande kategorier

Hoppa över listan

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
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

2 819 kr

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
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

2 819 kr

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
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

2 109 kr

Mathematical Methods of Specification and Synthesis of Software Systems ‘85

Mathematical Methods of Specification and Synthesis of Software Systems ‘85

Wolfgang Bibel, Klaus P. Jantke

2 859 kr

Grundlagen zur Neuroinformatik und Neurobiologie

Grundlagen zur Neuroinformatik und Neurobiologie

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

1 069 kr

Fuzzy-Systems in Computer Science

Fuzzy-Systems in Computer Science

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

739 kr

Handbuch Web Mining im Marketing

Handbuch Web Mining im Marketing

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

1 069 kr

SAP R/3® Guide to EDI and Interfaces

SAP R/3® Guide to EDI and Interfaces

Axel Angeli, Ulrich Streit, Robi Gonfalonieri, Wolfgang Bibel

719 kr

Ausgezeichnete Informatikdissertationen 1996

Ausgezeichnete Informatikdissertationen 1996

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

669 kr

Artificial Intelligence — Eine Einführung

Artificial Intelligence — Eine Einführung

Johannes Retti, Wolfgang Bibel, Bruno Buchberger, Ernst Buchberger, Werner Horn, Alfred Kobsa, Ingeborg Steinacker, Robert Trappl, Harald Trost

669 kr

Hoppa över listan

Du kanske också är intresserad av

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
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

2 819 kr

Fuzzy Theorie und Stochastik

Fuzzy Theorie und Stochastik

Rudolf Seising, Wolfgang Bibel

1 069 kr

Fuzzy-Systems in Computer Science

Fuzzy-Systems in Computer Science

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

739 kr

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
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

2 109 kr

Wissensrepräsentation und Inferenz

Wissensrepräsentation und Inferenz

Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub, Wolfgang Bibel

809 kr

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
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

2 819 kr

Grundlagen zur Neuroinformatik und Neurobiologie

Grundlagen zur Neuroinformatik und Neurobiologie

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

1 069 kr

Automated Theorem Proving

Automated Theorem Proving

Wolfgang Bibel

759 kr

Handbuch Web Mining im Marketing

Handbuch Web Mining im Marketing

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

1 069 kr

Einführung in Evolutionäre Algorithmen

Einführung in Evolutionäre Algorithmen

Volker Nissen, Wolfgang Bibel

599 kr