Povej prijatelju o tem izdelku:
Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic Raatz Softcover reprint of the original 1st ed. 1990 edition
Cena
€ 60,49
Naročeno iz oddaljenega skladišča
Predvidena dobava 7. - 21. avg
Prejemajte obvestila o novih izdajah izvajalca Raatz
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 1. decembra 1990 |
| ISBN13 | 9780817635305 |
| Založniki | Birkhauser Boston Inc |
| Strani | 150 |
| Dimenzije | 155 × 235 × 9 mm · 231 g |
| Jezik | Angleščina |
![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.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-hardcover-book&class=scaled&v=1485944398)
![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.b-cdn.net/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 Walter Gautschi, Volume 1: Selected Works with Commentaries - Contemporary Mathematicians (Paperback Book) [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-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.b-cdn.net/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.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-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.b-cdn.net/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.b-cdn.net/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.b-cdn.net/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.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-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.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-paperback-book&class=scaled&v=1480873347)
![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.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-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.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-paperback-book&class=scaled&v=1480873348)
![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.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-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.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-paperback-book&class=scaled&v=1480873348)
![Cover for W.D. Wallis · Mathematics in the Real World (Paperback Book) [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-paperback-book&class=scaled&v=1604005858)
![Cover for N. Unnikrishnan Nair · Quantile-Based Reliability Analysis - Statistics for Industry and Technology (Paperback Book) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.b-cdn.net/images/item/original/673/9781493951673.jpg?n-unnikrishnan-nair-2016-quantile-based-reliability-analysis-statistics-for-industry-and-technology-paperback-book&class=scaled&v=1480873347)
![Cover for Bounded Noises in Physics, Biology, and Engineering - Modeling and Simulation in Science, Engineering and Technology (Paperback Book) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.b-cdn.net/images/item/original/984/9781493952984.jpg?2016-bounded-noises-in-physics-biology-and-engineering-modeling-and-simulation-in-science-engineering-and-technology-paperback-book&class=scaled&v=1582678635)
![Cover for Natalia L. Komarova · Targeted Cancer Treatment in Silico: Small Molecule Inhibitors and Oncolytic Viruses - Modeling and Simulation in Science, Engineering and Technology (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/497/9781493942497.jpg?natalia-l-komarova-2016-targeted-cancer-treatment-in-silico-small-molecule-inhibitors-and-oncolytic-viruses-modeling-and-simulation-in-science-engineering-and-technology-paperback-book&class=scaled&v=1480873347)
![Cover for Harry G. Kwatny · Power System Dynamics and Control - Control Engineering (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/738/9780817646738.jpg?harry-g-kwatny-2016-power-system-dynamics-and-control-control-engineering-hardcover-book&class=scaled&v=1474297557)
![Cover for Hardy Grant · Turning Points in the History of Mathematics - Compact Textbooks in Mathematics (Paperback Book) [1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/634/9781493932634.jpg?hardy-grant-2016-turning-points-in-the-history-of-mathematics-compact-textbooks-in-mathematics-paperback-book&class=scaled&v=1471249983)
![Cover for U. Narayan Bhat · An Introduction to Queueing Theory: Modeling and Analysis in Applications - Statistics for Industry and Technology (Hardcover Book) [2nd ed. 2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/204/9780817684204.jpg?u-narayan-bhat-2015-an-introduction-to-queueing-theory-modeling-and-analysis-in-applications-statistics-for-industry-and-technology-hardcover-book&class=scaled&v=1569941139)
![Cover for Animesh Mukherjee · Dynamics On and Of Complex Networks, Volume 2: Applications to Time-Varying Dynamical Systems - Modeling and Simulation in Science, Engineering and Technology (Paperback Book) [2013 edition] (2015)](https://imusic.b-cdn.net/images/item/original/801/9781489999801.jpg?animesh-mukherjee-2015-dynamics-on-and-of-complex-networks-volume-2-applications-to-time-varying-dynamical-systems-modeling-and-simulation-in-science-engineering-and-technology-paperback-book&class=scaled&v=1531270542)
![Cover for Serdar Yuksel · Stochastic Networked Control Systems: Stabilization and Optimization under Information Constraints - Systems & Control: Foundations & Applications (Paperback Book) [2013 edition] (2015)](https://imusic.b-cdn.net/images/item/original/826/9781489992826.jpg?serdar-yuksel-2015-stochastic-networked-control-systems-stabilization-and-optimization-under-information-constraints-systems-control-foundations-applications-paperback-book&class=scaled&v=1517834223)
![Cover for Massimo Cicognani · Studies in Phase Space Analysis with Applications to PDEs - Progress in Nonlinear Differential Equations and Their Applications (Paperback Book) [2013 edition] (2015)](https://imusic.b-cdn.net/images/item/original/405/9781489999405.jpg?massimo-cicognani-2015-studies-in-phase-space-analysis-with-applications-to-pdes-progress-in-nonlinear-differential-equations-and-their-applications-paperback-book&class=scaled&v=1476722384)
![Cover for Pierre Bernhard · The Interval Market Model in Mathematical Finance: Game-Theoretic Methods - Static & Dynamic Game Theory: Foundations & Applications (Paperback Book) [2013 edition] (2015)](https://imusic.b-cdn.net/images/item/original/804/9781489985804.jpg?pierre-bernhard-2015-the-interval-market-model-in-mathematical-finance-game-theoretic-methods-static-dynamic-game-theory-foundations-applications-paperback-book&class=scaled&v=1476722384)
![Cover for David E. Vance · Raising Capital (Paperback Book) [2005 edition] (2014)](https://imusic.b-cdn.net/images/item/original/124/9781461498124.jpg?david-e-vance-2014-raising-capital-paperback-book&class=scaled&v=1492885214)
![Cover for Ricardo Baeza-yates · Recent Advances in Applied Probability (Paperback Book) [2005 edition] (2014)](https://imusic.b-cdn.net/images/item/original/452/9781461498452.jpg?ricardo-baeza-yates-2014-recent-advances-in-applied-probability-paperback-book&class=scaled&v=1538327017)
![Cover for James W. Haefner · Modeling Biological Systems:: Principles and Applications (Paperback Book) [Second Edition 2005 edition] (2014)](https://imusic.b-cdn.net/images/item/original/087/9781461498087.jpg?james-w-haefner-2014-modeling-biological-systems-principles-and-applications-paperback-book&class=scaled&v=1595509830)
![Cover for Adrian Gee · Cell Therapy: cGMP Facilities and Manufacturing (Paperback Book) [2009 edition] (2014)](https://imusic.b-cdn.net/images/item/original/936/9781461497936.jpg?adrian-gee-2014-cell-therapy-cgmp-facilities-and-manufacturing-paperback-book&class=scaled&v=1470134152)
![Cover for David Chadwick · Communications and Multimedia Security: 8th IFIP TC-6 TC-11 Conference on Communications and Multimedia Security, Sept. 15-18, 2004, Windermere, The Lake District, United Kingdom - IFIP Advances in Information and Communication Technology (Paperback Book) [2005 edition] (2014)](https://imusic.b-cdn.net/images/item/original/933/9781461498933.jpg?david-chadwick-2014-communications-and-multimedia-security-8th-ifip-tc-6-tc-11-conference-on-communications-and-multimedia-security-sept-15-18-2004-windermere-the-lake-district-united-kingdom-ifip-advances-in-information-and-communication-technology-paperb&class=scaled&v=1551566201)
![Cover for Moncef Zouali · Molecular Autoimmunity (Paperback Book) [2005 edition] (2014)](https://imusic.b-cdn.net/images/item/original/940/9781461498940.jpg?moncef-zouali-2014-molecular-autoimmunity-paperback-book&class=scaled&v=1635497787)
![Cover for Lokenath Debnath · Wavelet Transforms and Their Applications (Hardcover Book) [2nd ed. 2015 edition] (2014)](https://imusic.b-cdn.net/images/item/original/174/9780817684174.jpg?lokenath-debnath-2014-wavelet-transforms-and-their-applications-hardcover-book&class=scaled&v=1417952007)