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

Sign Up

Books

Logic For Programming And Automated Reasoning
Logic For Programming And Automated Reasoning
7th International Conference, Lpar 2000 Reunion Island, France, November 6-10, 2000 Proceedings »