Tipsa dina vänner om produkten:
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
SEK 579
Beställningsvara
Förväntad leverans 6 - 14 okt
Få avisering om nya utgåvor med Raatz
Lägg till din iMusic-önskelista
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öcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 1 december 1990 |
| ISBN13 | 9780817635305 |
| Utgivare | Birkhauser Boston Inc |
| Antal sidor | 150 |
| Mått | 155 × 235 × 9 mm · 231 g |
| Språk | Engelska |
![Cover for Elena Anne Corie Marchisotto · The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics (Inbunden 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-inbunden-bok&class=scaled&v=1614820721)
![Cover for Peter Falb · Direct Methods in Control Problems (Inbunden Bok) [2019 edition] (2020)](https://imusic.b-cdn.net/images/item/original/223/9780817647223.jpg?peter-falb-2020-direct-methods-in-control-problems-inbunden-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 (Inbunden 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-inbunden-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 (Inbunden 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-inbunden-bok&class=scaled&v=1486584206)
![Cover for Shayne F. D. Waldron · An Introduction to Finite Tight Frames - Applied and Numerical Harmonic Analysis (Inbunden 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-inbunden-bok&class=scaled&v=1519742172)
![Cover for Titu Andreescu · Mathematical Bridges (Inbunden Bok) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/942/9780817643942.jpg?titu-andreescu-2017-mathematical-bridges-inbunden-bok&class=scaled&v=1616551713)
![Cover for Towards a Theory of Spacetime Theories - Einstein Studies (Inbunden 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-inbunden-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 (Inbunden 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-inbunden-bok&class=scaled&v=1485944398)
![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 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)
![Cover for W.D. Wallis · Mathematics in the Real World (Pocketbok) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.b-cdn.net/images/item/original/338/9781493948338.jpg?w-d-wallis-2016-mathematics-in-the-real-world-pocketbok&class=scaled&v=1604005858)
![Cover for Leonid Fridman · Robust Output LQ Optimal Control via Integral Sliding Modes - Systems & Control: Foundations & Applications (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/154/9781493951154.jpg?leonid-fridman-2016-robust-output-lq-optimal-control-via-integral-sliding-modes-systems-control-foundations-applications-pocketbok&class=scaled&v=1480873348)