Nantilus
The Logic of Categorial Grammars : A Deductive Account of Natural Language Syntax and Semantics
This textbook is a contemporary, comprehensive introduction to categorial grammars in the logical tradition initiated by Lambek. It guides students and researchers through fundamental results, original developments and applications. Numerous examples and exercises underline the logical, computationa...
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | The Logic of Categorial Grammars : A Deductive Account of Natural Language Syntax and Semantics / by Richard Moot, Christian Retoré. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2012 Cham : Springer Nature |
| Collection : | Theoretical computer science and general issues (Online) ; 6850 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Sujets : | |
| Documents associés : | Autre format:
The Logic of Categorial Grammars Autre format: The Logic of Categorial Grammars |
| LEADER | 03314clm a2200661 4500 | ||
|---|---|---|---|
| 001 | PPN168319705 | ||
| 003 | http://www.sudoc.fr/168319705 | ||
| 005 | 20241001155000.0 | ||
| 010 | |a 978-3-642-31555-8 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-31555-8 |2 DOI |
| 035 | |a (OCoLC)812962356 | ||
| 035 | |a Springer978-3-642-31555-8 | ||
| 035 | |a Springer-11645-978-3-642-31555-8 | ||
| 100 | |a 20130325d2012 u u0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a The Logic of Categorial Grammars |e A Deductive Account of Natural Language Syntax and Semantics |f by Richard Moot, Christian Retoré. | |
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |c Springer Nature |d 2012 | |
| 225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 6850 | |
| 330 | |a This textbook is a contemporary, comprehensive introduction to categorial grammars in the logical tradition initiated by Lambek. It guides students and researchers through fundamental results, original developments and applications. Numerous examples and exercises underline the logical, computational and linguistic relevance of categorial grammars. Chapters: 1) AB grammars, 2) Lambek's Syntactic Calculus, 3) Lambek Calculus and Montague Grammar, 4) The non-associative Lambek calculus, 5) The multimodal Lambek calculus, 6) Proof nets for linear logic and the Lambek calculus, 7) Multimodal proof nets. | ||
| 371 | 0 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | |
| 410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 6850 | |
| 452 | | | |t The Logic of Categorial Grammars |b Texte imprimé |y 9783642315565 | |
| 452 | | | |t The Logic of Categorial Grammars |b Texte imprimé |y 9783642315541 | |
| 610 | 2 | |a Artificial Intelligence (incl. Robotics) | |
| 610 | 2 | |a Algorithm Analysis and Problem Complexity | |
| 610 | 2 | |a Mathematical Logic and Foundations | |
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Mathematical Logic and Formal Languages | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Programming Languages, Compilers, Interpreters | |
| 610 | 2 | |a Linguistics, general | |
| 610 | 2 | |a Logic | |
| 610 | 2 | |a Computational Linguistics | |
| 610 | 2 | |a Computer Science Logic and Foundations of Programming | |
| 610 | 2 | |a Linguistics | |
| 610 | 1 | |a Formal Languages and Automata Theory | |
| 610 | 2 | |a Compilers and Interpreters | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.131 |v 23 | ||
| 680 | |a QA8.9-QA10.3 | ||
| 700 | 1 | |3 PPN164827560 |a Moot |b Richard |f 1972-.... | |
| 701 | 1 | |a Retore |b Christian |4 070 | |
| 801 | 3 | |a FR |b Abes |c 20240611 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20240603 |g AACR2 | |
| 856 | 4 | |5 441099901:830852840 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-31555-8 | |
| 915 | |5 441099901:830852840 |b SPRING13-00362 | ||
| 930 | |5 441099901:830852840 |b 441099901 |j g | ||
| 991 | |5 441099901:830852840 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:11 | ||
| 997 | |a NUM |b SPRING13-00362 |d NUMpivo |e EM |s d | ||
| 998 | |a 978195 | ||