分享给好友:
Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic Raatz Softcover reprint of the original 1st ed. 1990 edition
Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic
Raatz
A large part of the monograph is devoted to detailed proofs that the methods we present are sound and complete, which in the context of the logic programming, means that the operational and denotational semantics agree.
160 pages
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 1990年12月1日 |
| ISBN13 | 9780817635305 |
| 出版商 | Birkhauser Boston Inc |
| 页数 | 150 |
| 商品尺寸 | 155 × 235 × 9 mm · 231 g |
| 语言 | 英语 |
![Cover for Elena Anne Corie Marchisotto · The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics (Hardcover Book) [1st ed. 2021 edition] (2021)](https://imusic.com.cn/local-image/images/item/original/220/9780817648220.jpg?elena-anne-corie-marchisotto-2021-the-legacy-of-mario-pieri-in-foundations-and-philosophy-of-mathematics-hardcover-book&class=scaled&v=1614820721)
![Cover for Peter Falb · Direct Methods in Control Problems (Hardcover Book) [2019 edition] (2020)](https://imusic.com.cn/local-image/images/item/original/223/9780817647223.jpg?peter-falb-2020-direct-methods-in-control-problems-hardcover-book&class=scaled&v=1623799024)
![Cover for Antoine Chambert-Loir · Motivic Integration - Progress in Mathematics (Paperback Book) [Softcover Reprint of the Original 1st 2018 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/154/9781493993154.jpg?antoine-chambert-loir-2019-motivic-integration-progress-in-mathematics-paperback-book&class=scaled&v=1612143291)
![Cover for Shayne F. D. Waldron · An Introduction to Finite Tight Frames - Applied and Numerical Harmonic Analysis (Paperback Book) [Softcover reprint of the original 1st ed. 2018 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/202/9781493979202.jpg?shayne-f-d-waldron-2019-an-introduction-to-finite-tight-frames-applied-and-numerical-harmonic-analysis-paperback-book&class=scaled&v=1560163769)
![Cover for Kathleen Clark · Jost Burgi's Aritmetische und Geometrische Progreß Tabulen (1620): Edition and Commentary - Science Networks. Historical Studies (Paperback Book) [Softcover reprint of the original 1st ed. 2015 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/912/9781493979912.jpg?kathleen-clark-2019-jost-burgi-s-aritmetische-und-geometrische-progre-tabulen-1620-edition-and-commentary-science-networks-historical-studies-paperback-book&class=scaled&v=1621150644)
![Cover for Chambert-Loir · Motivic Integration (Book) [1st ed. 2018 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/854/9781493978854.jpg?chambert-loir-2018-motivic-integration-book&class=scaled&v=1564185697)
![Cover for Beyond Einstein: Perspectives on Geometry, Gravitation, and Cosmology in the Twentieth Century - Einstein Studies (Hardcover Book) [1st ed. 2018 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/062/9781493977062.jpg?2018-beyond-einstein-perspectives-on-geometry-gravitation-and-cosmology-in-the-twentieth-century-einstein-studies-hardcover-book&class=scaled&v=1530785295)
![Cover for Andreas Deutsch · Cellular Automaton Modeling of Biological Pattern Formation: Characterization, Examples, and Analysis - Modeling and Simulation in Science, Engineering and Technology (Hardcover Book) [2nd ed. 2017 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/780/9781489979780.jpg?andreas-deutsch-2018-cellular-automaton-modeling-of-biological-pattern-formation-characterization-examples-and-analysis-modeling-and-simulation-in-science-engineering-and-technology-hardcover-book&class=scaled&v=1486584206)
![Cover for Shayne F. D. Waldron · An Introduction to Finite Tight Frames - Applied and Numerical Harmonic Analysis (Hardcover Book) [1st ed. 2018 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/145/9780817648145.jpg?shayne-f-d-waldron-2018-an-introduction-to-finite-tight-frames-applied-and-numerical-harmonic-analysis-hardcover-book&class=scaled&v=1519742172)
![Cover for Titu Andreescu · Mathematical Bridges (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/942/9780817643942.jpg?titu-andreescu-2017-mathematical-bridges-hardcover-book&class=scaled&v=1616551713)
![Cover for Towards a Theory of Spacetime Theories - Einstein Studies (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.com.cn/local-image/images/item/original/092/9781493932092.jpg?2017-towards-a-theory-of-spacetime-theories-einstein-studies-hardcover-book&class=scaled&v=1595954707)
![Cover for Elena Prestini · The Evolution of Applied Harmonic Analysis: Models of the Real World - Applied and Numerical Harmonic Analysis (Hardcover Book) [2nd ed. 2016 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/872/9781489979872.jpg?elena-prestini-2016-the-evolution-of-applied-harmonic-analysis-models-of-the-real-world-applied-and-numerical-harmonic-analysis-hardcover-book&class=scaled&v=1485944398)
![Cover for Vincenzo Capasso · An Introduction to Continuous-Time Stochastic Processes: Theory, Models, and Applications to Finance, Biology, and Medicine - Modeling and Simulation in Science, Engineering and Technology (Paperback Book) [Softcover reprint of the original 3rd ed. 2015 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/360/9781493938360.jpg?vincenzo-capasso-2016-an-introduction-to-continuous-time-stochastic-processes-theory-models-and-applications-to-finance-biology-and-medicine-modeling-and-simulation-in-science-engineering-and-technology-paperback-book&class=scaled&v=1480873347)
![Cover for Walter Gautschi, Volume 3: Selected Works with Commentaries - Contemporary Mathematicians (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/572/9781493955572.jpg?2016-walter-gautschi-volume-3-selected-works-with-commentaries-contemporary-mathematicians-paperback-book&class=scaled&v=1480873347)
![Cover for Symmetry · Symmetry: Representation Theory and Its Applications: In Honor of Nolan R. Wallach - Progress in Mathematics (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/845/9781493943845.jpg?symmetry-2016-symmetry-representation-theory-and-its-applications-in-honor-of-nolan-r-wallach-progress-in-mathematics-paperback-book&class=scaled&v=1603956199)
![Cover for Walter Gautschi, Volume 1: Selected Works with Commentaries - Contemporary Mathematicians (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/890/9781493943890.jpg?2016-walter-gautschi-volume-1-selected-works-with-commentaries-contemporary-mathematicians-paperback-book&class=scaled&v=1614660614)
![Cover for Walter Gautschi, Volume 2: Selected Works with Commentaries - Contemporary Mathematicians (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/906/9781493943906.jpg?2016-walter-gautschi-volume-2-selected-works-with-commentaries-contemporary-mathematicians-paperback-book&class=scaled&v=1609302980)
![Cover for Alexander I. Saichev · Distributions in the Physical and Engineering Sciences, Volume 2: Linear and Nonlinear Dynamics in Continuous Media - Applied and Numerical Harmonic Analysis (Paperback Book) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/201/9781493950201.jpg?alexander-i-saichev-2016-distributions-in-the-physical-and-engineering-sciences-volume-2-linear-and-nonlinear-dynamics-in-continuous-media-applied-and-numerical-harmonic-analysis-paperback-book&class=scaled&v=1611601911)
![Cover for Titu Andreescu · Essential Linear Algebra with Applications: A Problem-Solving Approach (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/537/9781493938537.jpg?titu-andreescu-2016-essential-linear-algebra-with-applications-a-problem-solving-approach-paperback-book&class=scaled&v=1475429182)
![Cover for Alfred Tarski: Early Work in Poland—Geometry and Teaching (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/178/9781493951178.jpg?2016-alfred-tarski-early-work-in-poland-geometry-and-teaching-paperback-book&class=scaled&v=1623332102)
![Cover for Menahem Max Schiffer: Selected Papers Volume 2 - Contemporary Mathematicians (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/558/9781493939558.jpg?2016-menahem-max-schiffer-selected-papers-volume-2-contemporary-mathematicians-paperback-book&class=scaled&v=1614643000)
![Cover for N. Balakrishnan · The Art of Progressive Censoring: Applications to Reliability and Quality - Statistics for Industry and Technology (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/843/9781493950843.jpg?n-balakrishnan-2016-the-art-of-progressive-censoring-applications-to-reliability-and-quality-statistics-for-industry-and-technology-paperback-book&class=scaled&v=1476763321)
![Cover for Maria Kateri · Contingency Table Analysis: Methods and Implementation Using R - Statistics for Industry and Technology (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/596/9781493939596.jpg?maria-kateri-2016-contingency-table-analysis-methods-and-implementation-using-r-statistics-for-industry-and-technology-paperback-book&class=scaled&v=1480873347)
![Cover for Mathematical Oncology 2013 - Modeling and Simulation in Science, Engineering and Technology (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/031/9781493948031.jpg?2016-mathematical-oncology-2013-modeling-and-simulation-in-science-engineering-and-technology-paperback-book&class=scaled&v=1623601957)
![Cover for Computational Methods for Three-Dimensional Microscopy Reconstruction - Applied and Numerical Harmonic Analysis (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/914/9781493946914.jpg?2016-computational-methods-for-three-dimensional-microscopy-reconstruction-applied-and-numerical-harmonic-analysis-paperback-book&class=scaled&v=1630561042)
![Cover for Felix Klein · The Theory of the Top. Volume IV: Technical Applications of the Theory of the Top (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/911/9781493950911.jpg?felix-klein-2016-the-theory-of-the-top-volume-iv-technical-applications-of-the-theory-of-the-top-paperback-book&class=scaled&v=1609421097)
![Cover for Tomas Chacon Rebollo · Mathematical and Numerical Foundations of Turbulence Models and Applications - Modeling and Simulation in Science, Engineering and Technology (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/758/9781493951758.jpg?tomas-chacon-rebollo-2016-mathematical-and-numerical-foundations-of-turbulence-models-and-applications-modeling-and-simulation-in-science-engineering-and-technology-paperback-book&class=scaled&v=1480873348)
![Cover for T. Kyle Petersen · Eulerian Numbers - Birkhauser Advanced Texts Basler Lehrbucher (Paperback Book) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/942/9781493947942.jpg?t-kyle-petersen-2016-eulerian-numbers-birkhauser-advanced-texts-basler-lehrbucher-paperback-book&class=scaled&v=1620438180)
![Cover for Enzo Tonti · The Mathematical Structure of Classical and Relativistic Physics: A General Classification Diagram - Modeling and Simulation in Science, Engineering and Technology (Paperback Book) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/329/9781493942329.jpg?enzo-tonti-2016-the-mathematical-structure-of-classical-and-relativistic-physics-a-general-classification-diagram-modeling-and-simulation-in-science-engineering-and-technology-paperback-book&class=scaled&v=1480873348)
![Cover for John P. D'Angelo · Hermitian Analysis: From Fourier Series to Cauchy-Riemann Geometry - Cornerstones (Paperback Book) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/987/9781493948987.jpg?john-p-d-angelo-2016-hermitian-analysis-from-fourier-series-to-cauchy-riemann-geometry-cornerstones-paperback-book&class=scaled&v=1472320837)
![Cover for Victor Chulaevsky · Multi-scale Analysis for Random Quantum Systems with Interaction - Progress in Mathematical Physics (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/527/9781493939527.jpg?victor-chulaevsky-2016-multi-scale-analysis-for-random-quantum-systems-with-interaction-progress-in-mathematical-physics-paperback-book&class=scaled&v=1480873347)
![Cover for Yury V. Orlov · Advanced H Control: Towards Nonsmooth Theory and Applications - Systems & Control: Foundations & Applications (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.com.cn/local-image/images/item/original/422/9781493944422.jpg?yury-v-orlov-2016-advanced-h-control-towards-nonsmooth-theory-and-applications-systems-control-foundations-applications-paperback-book&class=scaled&v=1480873348)