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
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 »