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 »

Meedoen

Boeken

Handbook Of Automated Reasoning
Handbook Of Automated Reasoning
Handbook of Automated Reasoning »
 
 
 
 
 

Handbook of Automated Reasoning, Two-Volume Set
Handbook of Automated Reasoning, Two-Volume Set
Handbook of Automated Reasoning »
 
 
 
 
 

Logic Programming And Automated Reasoning
Logic Programming And Automated Reasoning
4th International Conference, LPAR '93, St.Petersburg, Russia, July 13-20, 1993 - Proceedings »
 
 
 
 
 

Handbook Of Automated Reasoning
Handbook Of Automated Reasoning
Vols 1 & 2 »