[PDF.63do] Solving Higher-Order Equations : From Logic to Programming (Progress in Theoretical Computer Science)

Solving Higher-Order Equations : From Logic to Programming (Progress in Theoretical Computer Science)

[PDF.kt32] Solving Higher-Order Equations : From Logic to Programming (Progress in Theoretical Computer Science)

Solving Higher-Order Equations :  Christian Prehofer epub
Solving Higher-Order Equations :  Christian Prehofer pdf download
Solving Higher-Order Equations :  Christian Prehofer pdf file
Solving Higher-Order Equations :  Christian Prehofer audiobook
Solving Higher-Order Equations :  Christian Prehofer book review
Solving Higher-Order Equations :  Christian Prehofer summary

 | #5973600 in Books |  Birkhäuser |  1997-12-18 | Original language:English | PDF # 1 |  9.21 x.50 x6.14l,1.09 | File type: PDF | 188 pages

 | 

---

|

This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and mathematics. In these applica­ tions, higher-order logic provides the necessary level of abstraction for con­ cise and natural formulations. The main assets of higher-order logic are quan­ tification over functions or predicates and its abstraction mechanism. Thes...

You can specify the type of files you want, for your device.Solving Higher-Order Equations : From Logic to Programming (Progress in Theoretical Computer Science)   |  Christian Prehofer. I really enjoyed this book and have already told so many people about it!

Download Now