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, 1998
2 200 kr
Automated Theorem Proving
E-bok
PDF, Tyska, 2013608 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Fler format och utgåvor
Produktinformation
Utforska 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
Inbunden, 1998
2 200 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, 1998
1 701 kr
Del 31
Mathematical Methods of Specification and Synthesis of Software Systems ‘85
Wolfgang Bibel, Klaus P. Jantke
Inbunden, 1986
2 041 kr
Mathematical Methods of Specification and Synthesis of Software Systems '85
Klaus P. Jantke, Wolfgang Bibel
E-bok
19871 775 kr
Grundlagen zur Neuroinformatik und Neurobiologie
Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel
Häftad, 2012
826 kr
Fuzzy-Systems in Computer Science
Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Wolfgang Bibel
Häftad, 2012
570 kr
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Fuzzy-Systems in Computer Science
Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Wolfgang Bibel
Häftad, 2012
570 kr
Artificial Intelligence — Eine Einführung
Harald Trost, Robert Trappl, Ingeborg Steinacker, Alfred Kobsa, Werner Horn, Ernst Buchberger, Bruno Buchberger, Wolfgang Bibel, Johannes Retti
E-bok
2019452 kr
Wissensrepräsentation und Inferenz
Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub, Wolfgang Bibel
Häftad, 1993
622 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
Häftad, 2010
2 200 kr
Grundlagen zur Neuroinformatik und Neurobiologie
Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel
Häftad, 2012
826 kr
Mathematical Methods of Specification and Synthesis of Software Systems '85
Klaus P. Jantke, Wolfgang Bibel
E-bok
19871 775 kr