Fortell venner om denne varen:
Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic Raatz Softcover reprint of the original 1st ed. 1990 edition
Pris
NOK 539
Bestillingsvarer
Forventes levert 29. jul - 6. aug
Få varsel om nye utgivelser fra Raatz
Legg til iMusic ønskeliste
eller
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 1. desember 1990 |
| ISBN13 | 9780817635305 |
| Utgivere | Birkhauser Boston Inc |
| Antall sider | 150 |
| Mål | 155 × 235 × 9 mm · 231 g |
| Språk | Engelsk |
![Cover for Elena Anne Corie Marchisotto · The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics (Innbunden bok) [1st ed. 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/220/9780817648220.jpg?elena-anne-corie-marchisotto-2021-the-legacy-of-mario-pieri-in-foundations-and-philosophy-of-mathematics-innbunden-bok&class=scaled&v=1614820721)
![Cover for Peter Falb · Direct Methods in Control Problems (Innbunden bok) [2019 edition] (2020)](https://imusic.b-cdn.net/images/item/original/223/9780817647223.jpg?peter-falb-2020-direct-methods-in-control-problems-innbunden-bok&class=scaled&v=1623799024)
![Cover for Antoine Chambert-Loir · Motivic Integration - Progress in Mathematics (Pocketbok) [Softcover Reprint of the Original 1st 2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/154/9781493993154.jpg?antoine-chambert-loir-2019-motivic-integration-progress-in-mathematics-pocketbok&class=scaled&v=1612143291)
![Cover for Shayne F. D. Waldron · An Introduction to Finite Tight Frames - Applied and Numerical Harmonic Analysis (Pocketbok) [Softcover reprint of the original 1st ed. 2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/202/9781493979202.jpg?shayne-f-d-waldron-2019-an-introduction-to-finite-tight-frames-applied-and-numerical-harmonic-analysis-pocketbok&class=scaled&v=1560163769)
![Cover for Kathleen Clark · Jost Burgi's Aritmetische und Geometrische Progreß Tabulen (1620): Edition and Commentary - Science Networks. Historical Studies (Pocketbok) [Softcover reprint of the original 1st ed. 2015 edition] (2019)](https://imusic.b-cdn.net/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-pocketbok&class=scaled&v=1621150644)
![Cover for Chambert-Loir · Motivic Integration (Bok) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/854/9781493978854.jpg?chambert-loir-2018-motivic-integration-bok&class=scaled&v=1564185697)
![Cover for Beyond Einstein: Perspectives on Geometry, Gravitation, and Cosmology in the Twentieth Century - Einstein Studies (Innbunden bok) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/062/9781493977062.jpg?2018-beyond-einstein-perspectives-on-geometry-gravitation-and-cosmology-in-the-twentieth-century-einstein-studies-innbunden-bok&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 (Innbunden bok) [2nd ed. 2017 edition] (2018)](https://imusic.b-cdn.net/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-innbunden-bok&class=scaled&v=1486584206)
![Cover for Shayne F. D. Waldron · An Introduction to Finite Tight Frames - Applied and Numerical Harmonic Analysis (Innbunden bok) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/145/9780817648145.jpg?shayne-f-d-waldron-2018-an-introduction-to-finite-tight-frames-applied-and-numerical-harmonic-analysis-innbunden-bok&class=scaled&v=1519742172)
![Cover for Titu Andreescu · Mathematical Bridges (Innbunden bok) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/942/9780817643942.jpg?titu-andreescu-2017-mathematical-bridges-innbunden-bok&class=scaled&v=1616551713)
![Cover for Towards a Theory of Spacetime Theories - Einstein Studies (Innbunden bok) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/092/9781493932092.jpg?2017-towards-a-theory-of-spacetime-theories-einstein-studies-innbunden-bok&class=scaled&v=1595954707)
![Cover for Elena Prestini · The Evolution of Applied Harmonic Analysis: Models of the Real World - Applied and Numerical Harmonic Analysis (Innbunden bok) [2nd ed. 2016 edition] (2016)](https://imusic.b-cdn.net/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-innbunden-bok&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 (Pocketbok) [Softcover reprint of the original 3rd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/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-pocketbok&class=scaled&v=1480873347)
![Cover for Walter Gautschi, Volume 3: Selected Works with Commentaries - Contemporary Mathematicians (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/572/9781493955572.jpg?2016-walter-gautschi-volume-3-selected-works-with-commentaries-contemporary-mathematicians-pocketbok&class=scaled&v=1480873347)
![Cover for Symmetry · Symmetry: Representation Theory and Its Applications: In Honor of Nolan R. Wallach - Progress in Mathematics (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/845/9781493943845.jpg?symmetry-2016-symmetry-representation-theory-and-its-applications-in-honor-of-nolan-r-wallach-progress-in-mathematics-pocketbok&class=scaled&v=1603956199)
![Cover for Walter Gautschi, Volume 1: Selected Works with Commentaries - Contemporary Mathematicians (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/890/9781493943890.jpg?2016-walter-gautschi-volume-1-selected-works-with-commentaries-contemporary-mathematicians-pocketbok&class=scaled&v=1614660614)
![Cover for Walter Gautschi, Volume 2: Selected Works with Commentaries - Contemporary Mathematicians (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/906/9781493943906.jpg?2016-walter-gautschi-volume-2-selected-works-with-commentaries-contemporary-mathematicians-pocketbok&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 (Pocketbok) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.b-cdn.net/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-pocketbok&class=scaled&v=1611601911)
![Cover for Titu Andreescu · Essential Linear Algebra with Applications: A Problem-Solving Approach (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/537/9781493938537.jpg?titu-andreescu-2016-essential-linear-algebra-with-applications-a-problem-solving-approach-pocketbok&class=scaled&v=1475429182)
![Cover for Alfred Tarski: Early Work in Poland—Geometry and Teaching (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/178/9781493951178.jpg?2016-alfred-tarski-early-work-in-poland-geometry-and-teaching-pocketbok&class=scaled&v=1623332102)
![Cover for Menahem Max Schiffer: Selected Papers Volume 2 - Contemporary Mathematicians (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/558/9781493939558.jpg?2016-menahem-max-schiffer-selected-papers-volume-2-contemporary-mathematicians-pocketbok&class=scaled&v=1614643000)
![Cover for N. Balakrishnan · The Art of Progressive Censoring: Applications to Reliability and Quality - Statistics for Industry and Technology (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/843/9781493950843.jpg?n-balakrishnan-2016-the-art-of-progressive-censoring-applications-to-reliability-and-quality-statistics-for-industry-and-technology-pocketbok&class=scaled&v=1476763321)
![Cover for Maria Kateri · Contingency Table Analysis: Methods and Implementation Using R - Statistics for Industry and Technology (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/596/9781493939596.jpg?maria-kateri-2016-contingency-table-analysis-methods-and-implementation-using-r-statistics-for-industry-and-technology-pocketbok&class=scaled&v=1480873347)
![Cover for Mathematical Oncology 2013 - Modeling and Simulation in Science, Engineering and Technology (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/031/9781493948031.jpg?2016-mathematical-oncology-2013-modeling-and-simulation-in-science-engineering-and-technology-pocketbok&class=scaled&v=1623601957)
![Cover for Computational Methods for Three-Dimensional Microscopy Reconstruction - Applied and Numerical Harmonic Analysis (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/914/9781493946914.jpg?2016-computational-methods-for-three-dimensional-microscopy-reconstruction-applied-and-numerical-harmonic-analysis-pocketbok&class=scaled&v=1630561042)
![Cover for Felix Klein · The Theory of the Top. Volume IV: Technical Applications of the Theory of the Top (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/911/9781493950911.jpg?felix-klein-2016-the-theory-of-the-top-volume-iv-technical-applications-of-the-theory-of-the-top-pocketbok&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 (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/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-pocketbok&class=scaled&v=1480873348)
![Cover for T. Kyle Petersen · Eulerian Numbers - Birkhauser Advanced Texts Basler Lehrbucher (Pocketbok) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/942/9781493947942.jpg?t-kyle-petersen-2016-eulerian-numbers-birkhauser-advanced-texts-basler-lehrbucher-pocketbok&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 (Pocketbok) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.b-cdn.net/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-pocketbok&class=scaled&v=1480873348)
![Cover for John P. D'Angelo · Hermitian Analysis: From Fourier Series to Cauchy-Riemann Geometry - Cornerstones (Pocketbok) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.b-cdn.net/images/item/original/987/9781493948987.jpg?john-p-d-angelo-2016-hermitian-analysis-from-fourier-series-to-cauchy-riemann-geometry-cornerstones-pocketbok&class=scaled&v=1472320837)
![Cover for Victor Chulaevsky · Multi-scale Analysis for Random Quantum Systems with Interaction - Progress in Mathematical Physics (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/527/9781493939527.jpg?victor-chulaevsky-2016-multi-scale-analysis-for-random-quantum-systems-with-interaction-progress-in-mathematical-physics-pocketbok&class=scaled&v=1480873347)
![Cover for Yury V. Orlov · Advanced H Control: Towards Nonsmooth Theory and Applications - Systems & Control: Foundations & Applications (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/422/9781493944422.jpg?yury-v-orlov-2016-advanced-h-control-towards-nonsmooth-theory-and-applications-systems-control-foundations-applications-pocketbok&class=scaled&v=1480873348)