Computability and Logic
Introduction to Reliable and Secure Distributed Programming
Computational Complexity
PROLOG
The Art of Prolog, second edition
Machine Learning
Numerical Recipes in C
Programming Languages
Semantics Engineering with PLT Redex
Community
Follow Along
We're an Open Book
Home
Library
Explore
Trending
Search