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 ».
Books
Automated Deduction - Cade-16
16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings »
16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings »
Rewriting Techniques And Applications
8th International Conference, Rta-97, Sitges, Spain, June 2-5, 1997 - Proceedings »
8th International Conference, Rta-97, Sitges, Spain, June 2-5, 1997 - Proceedings »
Rewriting Techniques and Applications
7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996, Proceedings »
7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996, Proceedings »
Logic Programming and Automated Reasoning
6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings »
6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings »
