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

Sign Up

Books

Mathematical Problems From Applied Logic Ii
Mathematical Problems From Applied Logic Ii
Mathematical Problems from Applied Logic II »
 
 
 
 
 

Handbook Of Temporal Reasoning In Artificial Intelligence
Handbook Of Temporal Reasoning In Artificial Intelligence
Handbook of Temporal Reasoning in Artificial Intelligence »
 
 
 
 
 

Interactive Logic
Interactive Logic
selected Papers from the 7th Augustus de Morgan Workshop, London. Texts in Logic and Games. In november 2005 werd de zevende editie van de Augustus Morgan Wo... »
 
 
 
 
 

Second-Order Quantifier Elimination
Second-Order Quantifier Elimination
Foundations, Computational Aspects and Applications »
 
 
 
 
 

Interactive Logic
Interactive Logic
selected papers from the 7th Augustus de Morgan Workshop, London. Texts in Logic and Games. In november 2005 werd de zevende editie van de Augustus Morgan Wo... »