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
Ml For The Working Programmer This textbook explains how to program in the ML language, and teaches the fundamentals of functional programming. This edition includes coverage of modules, ... »
Isabelle/Hol A Proof Assistant for Higher-order Logic »