Welkom op Boeklezers.nl
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Boeken
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. »
Ideeënbus
