Fortell venner om denne varen:
Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science 1998 edition
Christian Prehofer
Pris
R$ 617,90
Bestillingsvarer
Forventes levert 3. - 11. jul
Legg til iMusic ønskeliste
Eller
Finnes også som:
Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science 1998 edition
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 |
Se alt med Christian Prehofer ( f.eks. Innbunden bok og Pocketbok )