Solving Higher-Order Equations
129,70 €
Lisää toivelistalle
This monograph develops techniques for equational reasoning in higher-order logic. This is followed by a systematic development from general equational rea soning towards effective calculi for declarative programming in higher-order logic and A-calculus.
- Alaotsikko
- From Logic to Programming
- Kirjailija
- Prehofer Christian
- ISBN
- 9781461272786
- Kieli
- englanti
- Paino
- 281 grammaa
- Julkaisupäivä
- 21.10.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 188
