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-18
18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings »
18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings »
Logic For Programming And Automated Reasoning
7th International Conference, Lpar 2000 Reunion Island, France, November 6-10, 2000 Proceedings »
7th International Conference, Lpar 2000 Reunion Island, France, November 6-10, 2000 Proceedings »
Logic For Programming, Artificial Intelligence And Reasoning
8th International Conference, Lpar 2001, Havana, Cuba, December 3-7, 2001, Proceedings »
8th International Conference, Lpar 2001, Havana, Cuba, December 3-7, 2001, Proceedings »
