書目名稱 | Logical Aspects of Computational Linguistics |
副標題 | First International |
編輯 | Christian Retoré |
視頻video | http://file.papertrans.cn/589/588125/588125.mp4 |
叢書名稱 | Lecture Notes in Computer Science |
圖書封面 |  |
描述 | This book constitutes the strictly refereed post-conference proceedings of the First International Conference on Logical Aspects of Computational Linguistics, LACL ‘96, held in Nancy, France in April 1996..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. |
出版日期 | Conference proceedings 1997 |
關(guān)鍵詞 | computational linguistics; formal proof; linguistics; logic; natural language; programming; semantics |
版次 | 1 |
doi | https://doi.org/10.1007/BFb0052147 |
isbn_softcover | 978-3-540-63700-4 |
isbn_ebook | 978-3-540-69631-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 1997 |