| 000 | 02981nam a22006135i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-31555-8 | ||
| 003 | DE-He213 | ||
| 005 | 20240730192659.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 | _aQA267-268.5 | |
| 072 | 7 |
_aUYA _2bicssc |
|
| 072 | 7 |
_aCOM014000 _2bisacsh |
|
| 072 | 7 |
_aUYA _2thema |
|
| 082 | 0 | 4 |
_a005.131 _223 |
| 100 | 1 |
_aMoot, Richard. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _9150890 |
|
| 245 | 1 | 4 |
_aThe Logic of Categorial Grammars _h[electronic resource] : _bA deductive account of natural language syntax and semantics / _cby Richard Moot, Christian Retore. |
| 250 | _a1st ed. 2012. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _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 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _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 |
_aMachine theory. _9150891 |
|
| 650 | 0 |
_aComputational linguistics. _96146 |
|
| 650 | 0 |
_aComputer science. _99832 |
|
| 650 | 0 |
_aLinguistics. _938335 |
|
| 650 | 0 |
_aLogic. _924230 |
|
| 650 | 0 |
_aCompilers (Computer programs). _93350 |
|
| 650 | 1 | 4 |
_aFormal Languages and Automata Theory. _9150892 |
| 650 | 2 | 4 |
_aComputational Linguistics. _96146 |
| 650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
| 650 | 2 | 4 |
_aLinguistics. _938335 |
| 650 | 2 | 4 |
_aLogic. _924230 |
| 650 | 2 | 4 |
_aCompilers and Interpreters. _931853 |
| 700 | 1 |
_aRetore, Christian. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _9150893 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9150894 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642315541 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642315565 |
| 830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v6850 _9150895 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-31555-8 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c94379 _d94379 |
||