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

Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
Third International Conference on Typed Lambda Calculi and Applications, Tlca '97, Nancy, France, April 2-4, 1997, Proceedings »
 
 
 
 
 

Logical Aspects Of Computational Linguistics
Logical Aspects Of Computational Linguistics
Third International Conference, LACLl'98 Grenoble, France, December 14-16, 1998 Selected Papers »
 
 
 
 
 

Logical Aspects of Computational Linguistics
Logical Aspects of Computational Linguistics
4th International Conference, Lacl 2001, Le Croisic, France, June 27-29, 2001, Proceedings »