この商品を友人に教える:
Automated Theorem Proving - Kunstliche Intelligenz Wolfgang Bibel 2nd ed. 1987 edition
価格
¥ 19.592
税抜
遠隔倉庫からの取り寄せ
発送予定日 年9月4日 - 年9月22日
Wolfgang Bibel の新しいリリースのお知らせを受け取る
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
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 1987 |
| ISBN13 | 9783528185206 |
| 出版社 | Friedrich Vieweg & Sohn Verlagsgesellsch |
| ページ数 | 289 |
| 寸法 | 150 × 220 × 10 mm · 485 g |
| 言語 | ドイツ語 |
![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 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 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 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)
![Cover for Volker A. Weberruss · Universality in Statistical Physics and Synergetics (Hardcover Book) [1993 edition] (1993)](https://imusic.b-cdn.net/images/item/original/133/9783528065133.jpg?volker-a-weberruss-1993-universality-in-statistical-physics-and-synergetics-hardcover-book&class=scaled&v=1414875961)
![Cover for Gabriel Sottas · 3D-Computation of Incompressible Internal Flows: Proceedings of the GAMM Workshop held at EPFL, 13-15 September 1989, Lausanne, Switzerland - Notes on Numerical Fluid Mechanics and Multidisciplinary Design (Paperback Book) [Softcover reprint of the original 1st ed. 1993 edition] (1993)](https://imusic.b-cdn.net/images/item/original/399/9783528076399.jpg?gabriel-sottas-1993-3d-computation-of-incompressible-internal-flows-proceedings-of-the-gamm-workshop-held-at-epfl-13-15-september-1989-lausanne-switzerland-notes-on-numerical-fluid-mechanics-and-multidisciplinary-design-paperback-book&class=scaled&v=1443642252)
![Cover for Wolfgang Hackbusch · Incomplete Decompositions (Ilu) - Algorithms, Theory and Applications: Proceedings of the 8th Gamm-Seminar, Kiel, January 24-26, 1992 - Notes on Numerical Fluid Mechanics (Hardcover Book) [Softcover Reprint of the Original 1st 1993 edition] (1993)](https://imusic.b-cdn.net/images/item/original/412/9783528076412.jpg?wolfgang-hackbusch-1993-incomplete-decompositions-ilu-algorithms-theory-and-applications-proceedings-of-the-8th-gamm-seminar-kiel-january-24-26-1992-notes-on-numerical-fluid-mechanics-hardcover-book&class=scaled&v=1556059378)