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

Computer Science Logic
Computer Science Logic
20th International Workshop, Csl 2006, 15th Annual Conference of the Eacsl, Szeged, Hungary, September 25-29, 2006, Proceedings »
 
 
 
 
 

Iteration Theories
Iteration Theories
The Equational Logic of Iterative Processes »