Preserving Regularity Via Logic Programs - Friedrich Neurauter
-40% ar kodu BOOKS
Piegāde 10-16 darba dienu laikā
30 dienu atgriešanas politika
This book is concerned with the presentation of a general translation of term rewrite systems to logic programs such that basic rewriting derivations become logic deductions. In particular, this work is a review of a recent research paper on this very subject written by S. Limet and G. Salzer in which they present an algorithm that implements such a translation scheme for certain classes of term rewrite sys ... Pilns apraksts
Jums varētu patikt arī
Aprašymas
Vairāk informācijas
| Autors | Friedrich Neurauter |
|---|---|
| Izdevējs | VDM Publishing |
| Izlaides gads | 2008 |
| Vāka tips | Mīkstais vāks |
| EAN | 9783639008388 |