The volume presents 18 revised full papers carefully selected and reviewed for inclusion in the book together with four invited contributions by leading authorities and an introductory survey with a detailed bibliography. The papers cover all relevant logical aspects of computational linguistics like logical inference, grammars, logical semantics, natural language processing, formal proofs, logic programming, type theory, etc.
The volume presents 18 revised full papers carefully selected and reviewed for inclusion in the book together with four invited contributions by leading authorities and an introductory survey with a detailed bibliography. The papers cover all relevant logical aspects of computational linguistics like logical inference, grammars, logical semantics, natural language processing, formal proofs, logic programming, type theory, etc.
![Logical Aspects of Computational Linguistics: First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.10.4)
Logical Aspects of Computational Linguistics: First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers
442![Logical Aspects of Computational Linguistics: First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.10.4)
Logical Aspects of Computational Linguistics: First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers
442Paperback(1997)
Product Details
ISBN-13: | 9783540637004 |
---|---|
Publisher: | Springer Berlin Heidelberg |
Publication date: | 11/26/1997 |
Series: | Lecture Notes in Computer Science , #1328 |
Edition description: | 1997 |
Pages: | 442 |
Product dimensions: | 6.10(w) x 9.25(h) x 0.04(d) |