Logical aspects of computational linguistics : 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....
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science. Lecture notes in artificial intelligence
1582 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logical aspects of computational linguistics, Second International Conference, LACL '97, Nancy, France, September 22-24, 1997, Alain Lecomte, François Lamarche, Guy Perrier (eds.), 1999, Berlin, Springer, 1 vol. (IX-250 p.), Lecture notes in computer science, 3-540-65751-7 • Logical Aspects of Computational Linguistics, Texte imprimé, 9783662199671 |
| LEADER | 04117nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 948565 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155172158 | ||
| 020 | |a 9783540489757 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 006.35 | ||
| 111 | 2 | |a International Conference on Logical Aspects of Computational Linguistics |n (02 |d :1997 |c :Nancy). | |
| 245 | 1 | 0 | |a Logical aspects of computational linguistics : |b Second International Conference, LACL'97, Nancy, France, September 22-24, 1997 : selected papers |c [edited by] Alain Lecomte, François Lamarche, Guy Perrier. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 1582 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Linguistique |x Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Langage et logique | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Lecomte, Alain, |d 1947-...., |c auteur en sciences appliquées. |4 pbd | |
| 700 | 1 | |a Lamarche, François. |4 pbd | |
| 700 | 1 | |a Perrier, Guy, |d 19..-...., |c auteur en informatique. |4 pbd | |
| 776 | 0 | |0 046014144 |t Logical aspects of computational linguistics |o Second International Conference, LACL '97, Nancy, France, September 22-24, 1997 |f Alain Lecomte, François Lamarche, Guy Perrier (eds.) |d 1999 |c Berlin |n Springer |p 1 vol. (IX-250 p.) |s Lecture notes in computer science |z 3-540-65751-7 | |
| 776 | 0 | |t Logical Aspects of Computational Linguistics |b Texte imprimé |z 9783662199671 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-48975-4 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-PRZ8SLZC-P |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748062750 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-48975-4 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75151439X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-48975-4 |z Accès INSA CVL | |
| 997 | |0 948565 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||