| 000 | 02630nam a22005535i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-31555-8 | ||
| 003 | DE-He213 | ||
| 005 | 20140220083322.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 120629s2012 gw | s |||| 0|eng d | ||
| 020 |
_a9783642315558 _9978-3-642-31555-8 |
||
| 024 | 7 |
_a10.1007/978-3-642-31555-8 _2doi |
|
| 050 | 4 | _aQA8.9-QA10.3 | |
| 072 | 7 |
_aUYA _2bicssc |
|
| 072 | 7 |
_aMAT018000 _2bisacsh |
|
| 072 | 7 |
_aCOM051010 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.131 _223 |
| 100 | 1 |
_aMoot, Richard. _eauthor. |
|
| 245 | 1 | 4 |
_aThe Logic of Categorial Grammars _h[electronic resource] : _bA Deductive Account of Natural Language Syntax and Semantics / _cby Richard Moot, Christian Retoré. |
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2012. |
|
| 300 |
_aX, 300 p. 69 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6850 |
|
| 520 | _aThis 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. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aComputer software. | |
| 650 | 0 | _aLogic design. | |
| 650 | 0 | _aArtificial intelligence. | |
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
| 650 | 2 | 4 | _aArtificial Intelligence (incl. Robotics). |
| 650 | 2 | 4 | _aLogics and Meanings of Programs. |
| 650 | 2 | 4 | _aAlgorithm Analysis and Problem Complexity. |
| 650 | 2 | 4 | _aMathematical Logic and Foundations. |
| 650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
| 700 | 1 |
_aRetoré, Christian. _eauthor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642315541 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6850 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-31555-8 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 999 |
_c103378 _d103378 |
||