Welkom op Boeklezers.nl
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Boeken
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 »
Ideeënbus
