ENGLISH

Logical Aspects of Computational Linguistics: Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers

By J. Lambek (auth.) , Alain Lecomte , François Lamarche , Guy Perrier (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1999
ISBN
3540657517, 9783540657514
DOI
10.1007/3-540-48975-4
LCC
P98 .L3 1997
Open Library ID
OL32879M
Language
english
Format
PDF
Filesize
2 MB (2298692 bytes)
Series
Lecture Notes in Computer Science 1582 : Lecture Notes in Artificial Intelligence
Edition
1
Pages
255\262
Topic
Mathematics\\Computational Mathematics
Library
Kolxo3
Time added
2011-01-08 23:22:23
Logics and Meanings of Programs; Artificial Intell

Description

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Logical Aspects of Computational Linguistics, LACL '97, held in Nancy, France in September 1997. The 10 revised full papers presented were carefully selected during two rounds of reviewing. Also included are two comprehensive invited papers. Among the topics covered are type theory, various types of grammars, linear logic, parsing, type-directed natural language processing, proof-theoretic aspects, concatenation logics, and mathematical languages.

Similar books