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 156 kr
Automated Theorem Proving
E-bok
PDF, Tyska, 2013582 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 156 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 667 kr
Del 31
Mathematical Methods of Specification and Synthesis of Software Systems ‘85
Wolfgang Bibel, Klaus P. Jantke
Inbunden, 1986
1 977 kr
Mathematical Methods of Specification and Synthesis of Software Systems '85
Klaus P. Jantke, Wolfgang Bibel
E-bok
19871 699 kr
Grundlagen zur Neuroinformatik und Neurobiologie
Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel
Häftad, 2012
811 kr
Fuzzy-Systems in Computer Science
Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Wolfgang Bibel
Häftad, 2012
559 kr
Hoppa över listan
Du kanske också är intresserad av
Fuzzy-Systems in Computer Science
Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Wolfgang Bibel
Häftad, 2012
559 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
2019433 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 156 kr
Grundlagen zur Neuroinformatik und Neurobiologie
Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel
Häftad, 2012
811 kr
Mathematical Methods of Specification and Synthesis of Software Systems '85
Klaus P. Jantke, Wolfgang Bibel
E-bok
19871 699 kr