Fortell venner om denne varen:
Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science Christian Prehofer 1998 edition
Pris
NOK 1.029
Bestillingsvarer
Forventes levert 29. jul - 6. aug
Få varsel om nye utgivelser fra Christian Prehofer
Legg til iMusic ønskeliste
eller
Finnes også som:
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
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 18. desember 1997 |
| ISBN13 | 9780817640323 |
| Utgivere | Birkhauser Boston Inc |
| Antall sider | 188 |
| Mål | 156 × 234 × 12 mm · 494 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)