Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Books
The Clausal Theory Of Types
In this book is presented the theoretical foundation of a higherorder logicprogramming language with equality based on the clausal theory of types. »
In this book is presented the theoretical foundation of a higherorder logicprogramming language with equality based on the clausal theory of types. »
