Povej prijatelju o tem izdelku:
Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science Christian Prehofer 1998 edition
Cena
€ 112,99
Naročeno iz oddaljenega skladišča
Predvidena dobava 7. - 21. avg
Prejemajte obvestila o novih izdajah izvajalca Christian Prehofer
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Na voljo tudi kot:
Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science
Christian Prehofer
This monograph develops techniques for equational reasoning and declarative programming based on higher-order logic. The author presents a framework for the full integration of declarative programming models and shows its application.
188 pages, biography
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 18. decembra 1997 |
| ISBN13 | 9780817640323 |
| Založniki | Birkhauser Boston Inc |
| Strani | 188 |
| Dimenzije | 156 × 234 × 12 mm · 494 g |
| Jezik | Angleščina |
Več od istega **izdajatelja**
![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)
Ogled vseh Christian Prehofer ( Na primer Paperback Book in Hardcover Book )