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