Fortæl dine venner om denne vare:
Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science Christian Prehofer 1998 edition
Pris
DKK 862
Bestilles fra fjernlager
Forventes klar til forsendelse 9. - 15. jan. 2026
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Findes 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
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 18. december 1997 |
| ISBN13 | 9780817640323 |
| Forlag | Birkhauser Boston Inc |
| Antal sider | 188 |
| Mål | 156 × 234 × 12 mm · 494 g |
| Sprog | Engelsk |
Se alt med Christian Prehofer ( f.eks. Hardcover bog og Paperback Bog )