Conte aos seus amigos sobre este item:
Automated Theorem Proving - Kunstliche Intelligenz Wolfgang Bibel 2nd ed. 1987 edition
Preço
R$ 572,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 29 de set - 5 de out
Receba avisos sobre novos lançamentos de Wolfgang Bibel
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Automated Theorem Proving - Kunstliche Intelligenz
Wolfgang Bibel
Since both the coments and the structure of the book appeared to be successful, only minor changes were made. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity.
304 pages
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 1987 |
| ISBN13 | 9783528185206 |
| Editoras | Friedrich Vieweg & Sohn Verlagsgesellsch |
| Páginas | 289 |
| Dimensões | 150 × 220 × 10 mm · 485 g |
| Idioma | Alemão |
![Cover for Wolfgang Bibel · Lehren Vom Leben: Essays UEber Mensch Und Gesellschaft - Sozialwissenschaft (Paperback Book) [2003 edition] (2003)](https://imusic.b-cdn.net/images/item/original/196/9783824445196.jpg?wolfgang-bibel-2003-lehren-vom-leben-essays-ueber-mensch-und-gesellschaft-sozialwissenschaft-paperback-book&class=scaled&v=1470215724)
![Cover for Wolfgang Bibel · Fuzzy Theorie Und Stochastik: Modelle Und Anwendungen in Der Diskussion - Computational Intelligence (Paperback Book) [1999 edition] (1999)](https://imusic.b-cdn.net/images/item/original/827/9783528056827.jpg?wolfgang-bibel-1999-fuzzy-theorie-und-stochastik-modelle-und-anwendungen-in-der-diskussion-computational-intelligence-paperback-book&class=scaled&v=1463391539)
![Cover for Wolfgang Bibel · Wissensreprasentation und Inferenz - Computational Intelligence (Paperback Book) [1993 edition] (1993)](https://imusic.b-cdn.net/images/item/original/741/9783528053741.jpg?wolfgang-bibel-1993-wissensreprasentation-und-inferenz-computational-intelligence-paperback-book&class=scaled&v=1470210051)
![Cover for Wolfgang Bibel · Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985 - Lecture Notes in Computer Science (Paperback Book) [1986 edition] (1986)](https://imusic.b-cdn.net/images/item/original/449/9783540164449.jpg?wolfgang-bibel-1986-mathematical-methods-of-specification-and-synthesis-of-software-systems-85-proceedings-of-the-international-spring-school-wendisch-rietz-gdr-april-22-26-1985-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1420639446)
![Cover for Wolfgang Bibel · Automated Theorem Proving (Paperback Book) [1982 edition] (1982)](https://imusic.b-cdn.net/images/item/original/209/9783528085209.jpg?wolfgang-bibel-1982-automated-theorem-proving-paperback-book&class=scaled&v=1418927841)
![Cover for Sacher Paulus · ISSE 2004 - Securing Electronic Business Processes: Highlights of the Information Security Solutions Europe 2004 Conference (Paperback Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/101/9783528059101.jpg?sacher-paulus-2004-isse-2004-securing-electronic-business-processes-highlights-of-the-information-security-solutions-europe-2004-conference-paperback-book&class=scaled&v=1450447965)
![Cover for Stefan Felsner · Geometric Graphs and Arrangements: Some Chapters from Combinatorial Geometry - Advanced Lectures in Mathematics (Paperback Book) [Softcover Reprint of the Original 1st Ed. 2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/728/9783528069728.jpg?stefan-felsner-2004-geometric-graphs-and-arrangements-some-chapters-from-combinatorial-geometry-advanced-lectures-in-mathematics-paperback-book&class=scaled&v=1604995792)
![Cover for Paulus Sachar · Securing Electronic Business Processes: Highlights of the Information Security Solutions Europe 2003 Conference (Paperback Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/876/9783528058876.jpg?paulus-sachar-2004-securing-electronic-business-processes-highlights-of-the-information-security-solutions-europe-2003-conference-paperback-book&class=scaled&v=1410968753)
![Cover for Hans-jurgen Promel · The Steiner Tree Problem: a Tour Through Graphs, Algorithms, and Complexity - Advanced Lectures in Mathematics (Paperback Book) [Softcover Reprint of the Original 1st Ed. 2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/625/9783528067625.jpg?hans-jurgen-promel-2002-the-steiner-tree-problem-a-tour-through-graphs-algorithms-and-complexity-advanced-lectures-in-mathematics-paperback-book&class=scaled&v=1574117844)
![Cover for Jurgen Glag · Efficent Software Development with DB2 for OS/390: Organizational and Technical Measures for Performance Optimization - Efficient Software Development (Paperback Book) [2 Revised edition] (1999)](https://imusic.b-cdn.net/images/item/original/872/9783528155872.jpg?jurgen-glag-1999-efficent-software-development-with-db2-for-os-390-organizational-and-technical-measures-for-performance-optimization-efficient-software-development-paperback-book&class=scaled&v=1415967269)
![Cover for Professor James Casey · Exploring Curvature (Paperback Book) [Softcover Reprint of the Original 1st Ed. 1996 edition] (1996)](https://imusic.b-cdn.net/images/item/original/754/9783528064754.jpg?professor-james-casey-1996-exploring-curvature-paperback-book&class=scaled&v=1413366100)
![Cover for Hubert Osterle · Enabling Systematic Business Change: Methods and Software Tools for Business Process Redesign (Paperback Book) [1996 edition] (1996)](https://imusic.b-cdn.net/images/item/original/400/9783528055400.jpg?hubert-osterle-1996-enabling-systematic-business-change-methods-and-software-tools-for-business-process-redesign-paperback-book&class=scaled&v=1450447965)
![Cover for George R. Kempf · Algebraic Structures (Paperback Book) [Softcover Reprint of the Original 1st Ed. 1995 edition] (1995)](https://imusic.b-cdn.net/images/item/original/836/9783528065836.jpg?george-r-kempf-1995-algebraic-structures-paperback-book&class=scaled&v=1558234675)
![Cover for Dietrich Paulus · Pattern Recognition and Image Processing in C++ (Paperback Book) [Softcover reprint of the original 1st ed. 1995 edition] (1995)](https://imusic.b-cdn.net/images/item/original/915/9783528054915.jpg?dietrich-paulus-1995-pattern-recognition-and-image-processing-in-c-paperback-book&class=scaled&v=1444231757)
![Cover for Wolfgang Hackbusch · Fast Solvers for Flow Problems: Proceedings of the Tenth GAMM-Seminar, Kiel, January 14-16, 1994 - Notes on Numerical Fluid Mechanics (Hardcover Book) [Softcover Reprint of the Original 1st 1995 edition] (1995)](https://imusic.b-cdn.net/images/item/original/498/9783528076498.jpg?wolfgang-hackbusch-1995-fast-solvers-for-flow-problems-proceedings-of-the-tenth-gamm-seminar-kiel-january-14-16-1994-notes-on-numerical-fluid-mechanics-hardcover-book&class=scaled&v=1403452573)
![Cover for Siegfried Wagner · Computational Fluid Dynamics on Parallel Systems: Proceedings of a CNRS-DFG Symposium in Stuttgart, December 9 and 10, 1993 - Notes on Numerical Fluid Mechanics and Multidisciplinary Design (Paperback Book) [1995 edition] (1995)](https://imusic.b-cdn.net/images/item/original/504/9783528076504.jpg?siegfried-wagner-1995-computational-fluid-dynamics-on-parallel-systems-proceedings-of-a-cnrs-dfg-symposium-in-stuttgart-december-9-and-10-1993-notes-on-numerical-fluid-mechanics-and-multidisciplinary-design-paperback-book&class=scaled&v=1540271655)
![Cover for John C Wood · Harmonic Maps and Integrable Systems - Aspects of Mathematics (Hardcover Book) [Softcover Reprint of the Original 1st 1994 edition] (1994)](https://imusic.b-cdn.net/images/item/original/546/9783528065546.jpg?john-c-wood-1994-harmonic-maps-and-integrable-systems-aspects-of-mathematics-hardcover-book&class=scaled&v=1592274561)
![Cover for Na Na · Contributions to Complex Analysis and Analytic Geometry: Dedicated to P.Dolbeault - Aspects of Mathematics (Paperback Book) [1994 edition] (1994)](https://imusic.b-cdn.net/images/item/original/338/9783528066338.jpg?na-na-1994-contributions-to-complex-analysis-and-analytic-geometry-dedicated-to-p-dolbeault-aspects-of-mathematics-paperback-book&class=scaled&v=1594495256)
![Cover for F. Hirzebruch · Manifolds and Modular Forms - Aspects of Mathematics (Paperback Book) [2 Revised edition] (1994)](https://imusic.b-cdn.net/images/item/original/140/9783528164140.jpg?f-hirzebruch-1994-manifolds-and-modular-forms-aspects-of-mathematics-paperback-book&class=scaled&v=1615220322)
![Cover for Jose a Salfity · Creataceous Tectonics of the Andes - Earth Evolution Sciences S. (Hardcover Book) [Softcover Reprint of the Original 1st 1994 edition] (1994)](https://imusic.b-cdn.net/images/item/original/130/9783528066130.jpg?jose-a-salfity-1994-creataceous-tectonics-of-the-andes-earth-evolution-sciences-s-hardcover-book&class=scaled&v=1552865772)
![Cover for Wasserwirtschaftsverband Baden-wurttemberg E V (Hrsg ) · Leitfaden Fur Den Bau Von Kleinwasserkraftanlagen ( German O (Paperback Book) [2nd 2.Aufl. 1994 edition] (1994)](https://imusic.b-cdn.net/images/item/original/250/9783528038250.jpg?wasserwirtschaftsverband-baden-wurttemberg-e-v-hrsg-1994-leitfaden-fur-den-bau-von-kleinwasserkraftanlagen-german-o-paperback-book&class=scaled&v=1473464483)
![Cover for W Hackbusch · Adaptive Methods - Algorithms, Theory and Applications: Proceedings of the Ninth GAMM-Seminar Kiel, January 22-24, 1993 - Notes on Numerical Fluid Mechanics (Paperback Book) [1994 edition] (1994)](https://imusic.b-cdn.net/images/item/original/467/9783528076467.jpg?w-hackbusch-1994-adaptive-methods-algorithms-theory-and-applications-proceedings-of-the-ninth-gamm-seminar-kiel-january-22-24-1993-notes-on-numerical-fluid-mechanics-paperback-book&class=scaled&v=1540530457)
![Cover for Friedrich Hebeker · Numerical Methods for the Navier-Stokes Equations: Proceedings of the Workshop Held at Heidelberg, October 25-28, 1993 - Notes on Numerical Fluid Mechanics (Hardcover Book) [Softcover Reprint of the Original 1st 1994 edition] (1994)](https://imusic.b-cdn.net/images/item/original/474/9783528076474.jpg?friedrich-hebeker-1994-numerical-methods-for-the-navier-stokes-equations-proceedings-of-the-workshop-held-at-heidelberg-october-25-28-1993-notes-on-numerical-fluid-mechanics-hardcover-book&class=scaled&v=1408647294)
![Cover for Martin Fuchs · Topics in the Calculus of Variations - Advanced Lectures in Mathematics (Paperback Book) [Softcover reprint of the original 1st ed. 1994 edition] (1994)](https://imusic.b-cdn.net/images/item/original/239/9783528066239.jpg?martin-fuchs-1994-topics-in-the-calculus-of-variations-advanced-lectures-in-mathematics-paperback-book&class=scaled&v=1604965633)
![Cover for Michael Griebel · Numerical Simulation in Science and Engineering: Proceedings of the Fortwihr Symposium on High Performance - Scientific Computing, Muenchen, Germany June 17-18, 1993 - Notes on Numerical Fluid Mechanics (Hardcover Book) [Softcover Reprint of the Original 1st 1994 edition] (1994)](https://imusic.b-cdn.net/images/item/original/481/9783528076481.jpg?michael-griebel-1994-numerical-simulation-in-science-and-engineering-proceedings-of-the-fortwihr-symposium-on-high-performance-scientific-computing-muenchen-germany-june-17-18-1993-notes-on-numerical-fluid-mechanics-hardcover-book&class=scaled&v=1615209194)
![Cover for Harald Stumpf · Composite Particle Dynamics in Quantum Field Theory (Paperback Book) [German, Softcover Reprint of the Original 1st Ed. 1994 edition] (1994)](https://imusic.b-cdn.net/images/item/original/983/9783528064983.jpg?harald-stumpf-1994-composite-particle-dynamics-in-quantum-field-theory-paperback-book&class=scaled&v=1583928872)
![Cover for Dejan S. Milojicic · Implementation for the Mach Microkernel - Vieweg Advanced Studies in Computer Science (Hardcover Book) [German, Softcover Reprint of the Original 1st Ed. 1994 edition] (1994)](https://imusic.b-cdn.net/images/item/original/243/9783528054243.jpg?dejan-s-milojicic-1994-implementation-for-the-mach-microkernel-vieweg-advanced-studies-in-computer-science-hardcover-book&class=scaled&v=1418405968)
![Cover for Christoph W Kessler · Automatic Parallelization: New Approaches to Code Generation, Data Distribution, and Performance Prediction (Paperback Book) [1994 edition] (1994)](https://imusic.b-cdn.net/images/item/original/014/9783528054014.jpg?christoph-w-kessler-1994-automatic-parallelization-new-approaches-to-code-generation-data-distribution-and-performance-prediction-paperback-book&class=scaled&v=1450447956)
![Cover for Andreas Vogel · A Comprehensive Approach to Earthquake Disaster Mitigation - Progress in Earthquake Research & Engineering (Paperback Book) [Softcover Reprint of the Original 1st 1993 edition] (1993)](https://imusic.b-cdn.net/images/item/original/577/9783528065577.jpg?andreas-vogel-1993-a-comprehensive-approach-to-earthquake-disaster-mitigation-progress-in-earthquake-research-engineering-paperback-book&class=scaled&v=1592367325)
![Cover for Dieter Enders · Organic Synthesis Via Organometallics (Proceedings of the Fourth Symposium in Aachen, 15-18 July, 1992, Proceedings of the Fourth Symposium in Aachen, 15-18 July, 1992) (Hardcover Book) [German, Softcover Reprint of the Original 1st Ed. 1993 edition] (1993)](https://imusic.b-cdn.net/images/item/original/815/9783528064815.jpg?dieter-enders-1993-organic-synthesis-via-organometallics-proceedings-of-the-fourth-symposium-in-aachen-15-18-july-1992-proceedings-of-the-fourth-symposium-in-aachen-15-18-july-1992-hardcover-book&class=scaled&v=1414066447)
![Cover for Geoffrey Tomlinson · Safety Evaluation Based on Identification Approaches Related to Time-Variant and Nonlinear Structures (Paperback Book) [Softcover reprint of the original 1st ed. 1993 edition] (1993)](https://imusic.b-cdn.net/images/item/original/355/9783528065355.jpg?geoffrey-tomlinson-1993-safety-evaluation-based-on-identification-approaches-related-to-time-variant-and-nonlinear-structures-paperback-book&class=scaled&v=1556566182)
![Cover for Gotzhein, Reinhard (Computer Science Department, University of Hamburg, Germany) · Open Distributed Systems: On Concepts, Methods and Design from a Logical Point of View - Vieweg advances studies in computer science (Paperback Book) [1993 edition] (1993)](https://imusic.b-cdn.net/images/item/original/581/9783528053581.jpg?gotzhein-reinhard-computer-science-department-university-of-hamburg-germany-1993-open-distributed-systems-on-concepts-methods-and-design-from-a-logical-point-of-view-vieweg-advances-studies-in-computer-science-paperback-book&class=scaled&v=1444231757)
![Cover for Kozo Fujii · Supercomputers and Their Performance in Computational Fluid Dynamics - Notes on Numerical Fluid Mechanics and Multidisciplinary Design (Paperback Book) [1993 edition] (1993)](https://imusic.b-cdn.net/images/item/original/375/9783528076375.jpg?kozo-fujii-1993-supercomputers-and-their-performance-in-computational-fluid-dynamics-notes-on-numerical-fluid-mechanics-and-multidisciplinary-design-paperback-book&class=scaled&v=1552775059)
![Cover for Ralf Jungclaus · Modeling of Dynamic Object Systems: A Logic-Based Approach - Vieweg Advanced Studies in Computer Science (Paperback Book) [1993 edition] (1993)](https://imusic.b-cdn.net/images/item/original/864/9783528053864.jpg?ralf-jungclaus-1993-modeling-of-dynamic-object-systems-a-logic-based-approach-vieweg-advanced-studies-in-computer-science-paperback-book&class=scaled&v=1450447956)