Home
Leden
Boeken
Auteurs
Clubs
Toevoegen aan favorieten
Auteur
A. Voronkov
Wikipedia
A. Voronkov
Boeken
Prikbord
Fans
Boeken
Automated Deduction - Cade-18
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
»
Logic For Programming, Artificial Intelligence And Reasoning
8th International Conference, Lpar 2001, Havana, Cuba, December 3-7, 2001, Proceedings
»
Handbook of Automated Reasoning
Vol 2
»
Inloggen /
Meedoen
Vergeten?
Populaire boeken
Bloeddorst
De groene mijl
Het meisje dat verdween..
Het Achterhuis
De boekendief
Populaire boeken »
Ideeënbus
Help mee Boeklezers.nl te verbeteren, laat hier je goede idee achter! (Kunnen alleen de beheerders lezen)