Fortæl dine venner om denne vare:
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications Manuel Clavel
Har du en konto? Log ind
Julegaver kan byttes frem til 31. januar
Modtag notifikation om nye Manuel Clavel udgivelser
Tilføj til din iMusic ønskeseddel
eller
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
Manuel Clavel
Proposes a general theory of reflective logics and reflective declarative programming languages.
192 pages, bibliography, index
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 16. oktober 2000 |
| ISBN13 | 9781575862385 |
| Forlag | Centre for the Study of Language & Infor |
| Antal sider | 192 |
| Mål | 152 × 228 × 16 mm · 272 g |
![Cover for David Barker-Plummer · Language, Proof, and Logic: Second Edition (Paperback Bog) [2 Revised Edition] (2011)](https://imusic.b-cdn.net/images/item/original/321/9781575866321.jpg?david-barker-plummer-2011-language-proof-and-logic-second-edition-paperback-bog&class=scaled&v=1404323202)
![Cover for Donald E. Knuth · Things a Computer Scientist Rarely Talks About - Lecture Notes (Paperback Bog) [New Edition] (2003)](https://imusic.b-cdn.net/images/item/original/269/9781575863269.jpg?donald-e-knuth-2003-things-a-computer-scientist-rarely-talks-about-lecture-notes-paperback-bog&class=scaled&v=1426459344)
![Cover for Laurence R. Horn · A Natural History of Negation - The David Hume Series (Paperback Bog) [2nd Edition] (2001)](https://imusic.b-cdn.net/images/item/original/368/9781575863368.jpg?laurence-r-horn-2001-a-natural-history-of-negation-the-david-hume-series-paperback-bog&class=scaled&v=1614660054)
![Cover for Grammatical Interfaces in HPSG - Studies in Constraint-Based Lexicalism (Paperback Bog) [New Ed Edition] (2001)](https://imusic.b-cdn.net/images/item/original/146/9781575863146.jpg?2001-grammatical-interfaces-in-hpsg-studies-in-constraint-based-lexicalism-paperback-bog&class=scaled&v=1775027599)
