Main image
Click to view image in fullscreen
![]()
Clausal Theory of Types
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
770,00 DH
Sur commande
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
| ISBN / EAN | 9780521395380 |
|---|---|
| Auteur | Wolfram, D. A. (University of Oxford) |
| Editeur | Cambridge University Press |