Logical aspects of computational linguistics
: 4th international conference ; proceedings / LACL 2001, Le Croisic, France, June 27 - 29, 2001. P. de Groote ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2099 : Lecture notes in artificial intelligence)
ISBN 978-3-540-48199-7
Lizenzpflichtig
Quelle: DNB
Typed lambda calculi and applications
: proceedings / Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2 - 4, 1997. Philippe de Groote ; J. Roger Hindley (ed.). - Berlin : Springer, 1997. - VIII, 404 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1210)
ISBN 978-3-540-62688-6 / 3-540-62688-3 kart. : DM 90.00
Literaturangaben
Quelle: DNB