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