分享给好友:
Parallelism in Logic: Its Potential for Performance and Program Development - Artificial Intelligence Franz Kurfess 1991 edition
Parallelism in Logic: Its Potential for Performance and Program Development - Artificial Intelligence
Franz Kurfess
Originally presented as the author's thesis (doctoral--Technical University, Munich, 1990).
312 pages
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 1991年6月1日 |
| 原始发行日期 | 1992 |
| ISBN13 | 9783528051631 |
| 出版商 | Friedrich Vieweg & Sohn Verlagsgesellsch |
| 页数 | 312 |
| 商品尺寸 | 150 × 220 × 10 mm · 503 g |
| 语言 | 德语 |
![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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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)