Fortell venner om denne varen:
Automated Theorem Proving - Kunstliche Intelligenz Wolfgang Bibel 2nd ed. 1987 edition
Pris
NOK 959
Bestillingsvarer
Forventes levert 24. nov - 2. des
Julegaver kan byttes frem til 31. januar
Få varsel om nye utgivelser fra Wolfgang Bibel
Legg til iMusic ønskeliste
eller
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 1987 |
| ISBN13 | 9783528185206 |
| Utgivere | Friedrich Vieweg & Sohn Verlagsgesellsch |
| Antall sider | 289 |
| Mål | 150 × 220 × 10 mm · 485 g |
| Språk | Tysk |
![Cover for Wolfgang Bibel · Lehren Vom Leben: Essays UEber Mensch Und Gesellschaft - Sozialwissenschaft (Pocketbok) [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-pocketbok&class=scaled&v=1470215724)
![Cover for Wolfgang Bibel · Fuzzy Theorie Und Stochastik: Modelle Und Anwendungen in Der Diskussion - Computational Intelligence (Pocketbok) [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-pocketbok&class=scaled&v=1463391539)
![Cover for Wolfgang Bibel · Wissensreprasentation und Inferenz - Computational Intelligence (Pocketbok) [1993 edition] (1993)](https://imusic.b-cdn.net/images/item/original/741/9783528053741.jpg?wolfgang-bibel-1993-wissensreprasentation-und-inferenz-computational-intelligence-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1420639446)
![Cover for Wolfgang Bibel · Automated Theorem Proving (Pocketbok) [1982 edition] (1982)](https://imusic.b-cdn.net/images/item/original/209/9783528085209.jpg?wolfgang-bibel-1982-automated-theorem-proving-pocketbok&class=scaled&v=1418927841)
![Cover for Sacher Paulus · ISSE 2004 - Securing Electronic Business Processes: Highlights of the Information Security Solutions Europe 2004 Conference (Pocketbok) [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-pocketbok&class=scaled&v=1450447965)
![Cover for Stefan Felsner · Geometric Graphs and Arrangements: Some Chapters from Combinatorial Geometry - Advanced Lectures in Mathematics (Pocketbok) [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-pocketbok&class=scaled&v=1604995792)
![Cover for Paulus Sachar · Securing Electronic Business Processes: Highlights of the Information Security Solutions Europe 2003 Conference (Pocketbok) [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-pocketbok&class=scaled&v=1410968753)
![Cover for Hans-jurgen Promel · The Steiner Tree Problem: a Tour Through Graphs, Algorithms, and Complexity - Advanced Lectures in Mathematics (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1415967269)
![Cover for Professor James Casey · Exploring Curvature (Pocketbok) [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-pocketbok&class=scaled&v=1413366100)
![Cover for Hubert Osterle · Enabling Systematic Business Change: Methods and Software Tools for Business Process Redesign (Pocketbok) [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-pocketbok&class=scaled&v=1450447965)
![Cover for George R. Kempf · Algebraic Structures (Pocketbok) [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-pocketbok&class=scaled&v=1558234675)
![Cover for Dietrich Paulus · Pattern Recognition and Image Processing in C++ (Pocketbok) [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-pocketbok&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 (Innbunden bok) [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-innbunden-bok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1540271655)
![Cover for John C Wood · Harmonic Maps and Integrable Systems - Aspects of Mathematics (Innbunden bok) [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-innbunden-bok&class=scaled&v=1592274561)
![Cover for Na Na · Contributions to Complex Analysis and Analytic Geometry: Dedicated to P.Dolbeault - Aspects of Mathematics (Pocketbok) [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-pocketbok&class=scaled&v=1594495256)
![Cover for F. Hirzebruch · Manifolds and Modular Forms - Aspects of Mathematics (Pocketbok) [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-pocketbok&class=scaled&v=1615220322)
![Cover for Jose a Salfity · Creataceous Tectonics of the Andes - Earth Evolution Sciences S. (Innbunden bok) [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-innbunden-bok&class=scaled&v=1552865772)
![Cover for Wasserwirtschaftsverband Baden-wurttemberg E V (Hrsg ) · Leitfaden Fur Den Bau Von Kleinwasserkraftanlagen ( German O (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&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 (Innbunden bok) [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-innbunden-bok&class=scaled&v=1408647294)
![Cover for Martin Fuchs · Topics in the Calculus of Variations - Advanced Lectures in Mathematics (Pocketbok) [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-pocketbok&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 (Innbunden bok) [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-innbunden-bok&class=scaled&v=1615209194)
![Cover for Harald Stumpf · Composite Particle Dynamics in Quantum Field Theory (Pocketbok) [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-pocketbok&class=scaled&v=1583928872)
![Cover for Dejan S. Milojicic · Implementation for the Mach Microkernel - Vieweg Advanced Studies in Computer Science (Innbunden bok) [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-innbunden-bok&class=scaled&v=1418405968)
![Cover for Christoph W Kessler · Automatic Parallelization: New Approaches to Code Generation, Data Distribution, and Performance Prediction (Pocketbok) [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-pocketbok&class=scaled&v=1450447956)
![Cover for Andreas Vogel · A Comprehensive Approach to Earthquake Disaster Mitigation - Progress in Earthquake Research & Engineering (Pocketbok) [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-pocketbok&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) (Innbunden bok) [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-innbunden-bok&class=scaled&v=1414066447)
![Cover for Geoffrey Tomlinson · Safety Evaluation Based on Identification Approaches Related to Time-Variant and Nonlinear Structures (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1444231757)
![Cover for Kozo Fujii · Supercomputers and Their Performance in Computational Fluid Dynamics - Notes on Numerical Fluid Mechanics and Multidisciplinary Design (Pocketbok) [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-pocketbok&class=scaled&v=1552775059)
![Cover for Ralf Jungclaus · Modeling of Dynamic Object Systems: A Logic-Based Approach - Vieweg Advanced Studies in Computer Science (Pocketbok) [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-pocketbok&class=scaled&v=1450447956)