![Logical Aspects of Computational Linguistics [electronic resource] : Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers /](/search/themes/bootstrap3/images/libros.png)
Logical Aspects of Computational Linguistics [electronic resource] : Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers /
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.
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1999
|
| Subjects: | Computer science., Architecture, Computer., Computer logic., Mathematical logic., Artificial intelligence., Computational linguistics., Computer Science., Language Translation and Linguistics., Computer System Implementation., Logics and Meanings of Programs., Artificial Intelligence (incl. Robotics)., Mathematical Logic and Formal Languages., |
| Online Access: | http://dx.doi.org/10.1007/3-540-48975-4 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
KOHA-OAI-TEST:222110 |
|---|---|
| record_format |
koha |
| spelling |
KOHA-OAI-TEST:2221102018-07-31T00:00:31ZLogical Aspects of Computational Linguistics [electronic resource] : Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers / Lecomte, Alain. editor. Lamarche, François. editor. Perrier, Guy. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1999.engThis 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.Invited papers -- Type Grammar Revisited -- Optimal Parameters -- Selected papers -- Strong Equivalence of Generalized Ajdukiewicz and Lambek Grammars -- Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language Parsing -- Derivational and Representational Views of Minimalist Transformational Grammar -- The MSO Logic-Automaton Connection in Linguistics -- The Logic of Tune A Proof-Theoretic Analysis of Intonation -- A Linear Logic Treatment of Phrase Structure Grammars For Unbounded Dependencies -- Underspecification in Type-Logical Grammars -- On Fibring Feature Logics with Concatenation Logics -- An Operational Model for Parsing De.nite Clause Grammars with In.nite Terms -- Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language.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.Computer science.Architecture, Computer.Computer logic.Mathematical logic.Artificial intelligence.Computational linguistics.Computer Science.Language Translation and Linguistics.Computer System Implementation.Logics and Meanings of Programs.Artificial Intelligence (incl. Robotics).Mathematical Logic and Formal Languages.Springer eBookshttp://dx.doi.org/10.1007/3-540-48975-4URN:ISBN:9783540489757 |
| institution |
COLPOS |
| collection |
Koha |
| country |
México |
| countrycode |
MX |
| component |
Bibliográfico |
| access |
En linea En linea |
| databasecode |
cat-colpos |
| tag |
biblioteca |
| region |
America del Norte |
| libraryname |
Departamento de documentación y biblioteca de COLPOS |
| language |
eng |
| topic |
Computer science. Architecture, Computer. Computer logic. Mathematical logic. Artificial intelligence. Computational linguistics. Computer Science. Language Translation and Linguistics. Computer System Implementation. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. Computer science. Architecture, Computer. Computer logic. Mathematical logic. Artificial intelligence. Computational linguistics. Computer Science. Language Translation and Linguistics. Computer System Implementation. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. |
| spellingShingle |
Computer science. Architecture, Computer. Computer logic. Mathematical logic. Artificial intelligence. Computational linguistics. Computer Science. Language Translation and Linguistics. Computer System Implementation. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. Computer science. Architecture, Computer. Computer logic. Mathematical logic. Artificial intelligence. Computational linguistics. Computer Science. Language Translation and Linguistics. Computer System Implementation. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. Lecomte, Alain. editor. Lamarche, François. editor. Perrier, Guy. editor. SpringerLink (Online service) Logical Aspects of Computational Linguistics [electronic resource] : Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers / |
| 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. |
| format |
Texto |
| topic_facet |
Computer science. Architecture, Computer. Computer logic. Mathematical logic. Artificial intelligence. Computational linguistics. Computer Science. Language Translation and Linguistics. Computer System Implementation. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. |
| author |
Lecomte, Alain. editor. Lamarche, François. editor. Perrier, Guy. editor. SpringerLink (Online service) |
| author_facet |
Lecomte, Alain. editor. Lamarche, François. editor. Perrier, Guy. editor. SpringerLink (Online service) |
| author_sort |
Lecomte, Alain. editor. |
| title |
Logical Aspects of Computational Linguistics [electronic resource] : Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers / |
| title_short |
Logical Aspects of Computational Linguistics [electronic resource] : Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers / |
| title_full |
Logical Aspects of Computational Linguistics [electronic resource] : Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers / |
| title_fullStr |
Logical Aspects of Computational Linguistics [electronic resource] : Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers / |
| title_full_unstemmed |
Logical Aspects of Computational Linguistics [electronic resource] : Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers / |
| title_sort |
logical aspects of computational linguistics [electronic resource] : second international conference, lacl'97 nancy, france, september 22-24, 1997 selected papers / |
| publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
| publishDate |
1999 |
| url |
http://dx.doi.org/10.1007/3-540-48975-4 |
| work_keys_str_mv |
AT lecomtealaineditor logicalaspectsofcomputationallinguisticselectronicresourcesecondinternationalconferencelacl97nancyfranceseptember22241997selectedpapers AT lamarchefrancoiseditor logicalaspectsofcomputationallinguisticselectronicresourcesecondinternationalconferencelacl97nancyfranceseptember22241997selectedpapers AT perrierguyeditor logicalaspectsofcomputationallinguisticselectronicresourcesecondinternationalconferencelacl97nancyfranceseptember22241997selectedpapers AT springerlinkonlineservice logicalaspectsofcomputationallinguisticselectronicresourcesecondinternationalconferencelacl97nancyfranceseptember22241997selectedpapers |
| _version_ |
1756270392335400960 |