Book
Programming with Higher-Order Logic
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9780521879408
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 ».
Reviews of Programming with Higher-Order Logic by Dale Miller & Gopalan Nadathur
Programming with Higher-Order Logic has been reviewed 0 times. The average score is . 0 people has read the book.
There are no reviews for this book yet.
