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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Lecomte, Alain (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Lamarche, Francois (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Perrier, Guy (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Έκδοση: 1st ed. 1999.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1582
• Θέματα: Natural language processing (Computer science).; Architecture, Computer.; Computer logic.; Artificial intelligence.; Mathematical logic.; Natural Language Processing (NLP).; Computer System Implementation.; Logics and Meanings of Programs.; Artificial Intelligence.; Mathematical Logic and Formal Languages.
• Φυσική περιγραφή: XI, 255 p. online resource.
• ISBN: 9783540489757
• DOI: 10.1007/3-540-48975-4

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.