Vertel uw vrienden over dit artikel:
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications Manuel Clavel
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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 16 oktober 2000 |
| ISBN13 | 9781575862385 |
| Uitgevers | Centre for the Study of Language & Infor |
| Pagina's | 192 |
| Afmetingen | 152 × 228 × 16 mm · 272 g |
Meer door Manuel Clavel
Alles tonen
Mere med samme udgiver
![Cover for David Barker-Plummer · Language, Proof, and Logic: Second Edition (Paperback Book) [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-book&class=scaled&v=1404323202)
![Cover for Donald E. Knuth · Things a Computer Scientist Rarely Talks About - Lecture Notes (Paperback Book) [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-book&class=scaled&v=1426459344)
![Cover for Grammatical Interfaces in HPSG - Studies in Constraint-Based Lexicalism (Paperback Book) [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-book&class=scaled&v=1775027599)
Bekijk alles van Manuel Clavel ( bijv. Paperback Book en Hardcover Book )