|
|
|
|
LEADER |
00000nam a22000005i 4500 |
001 |
978-3-642-31555-8 |
003 |
DE-He213 |
005 |
20230329172246.0 |
007 |
cr nn 008mamaa |
008 |
120629s2012 gw | s |||| 0|eng d |
020 |
|
|
|a 9783642315558
|9 978-3-642-31555-8
|
024 |
7 |
|
|a 10.1007/978-3-642-31555-8
|2 doi
|
050 |
|
4 |
|a QA267-268.5
|
072 |
|
7 |
|a UYA
|2 bicssc
|
072 |
|
7 |
|a MAT018000
|2 bisacsh
|
072 |
|
7 |
|a UYA
|2 thema
|
082 |
0 |
4 |
|a 005.131
|2 23
|
100 |
1 |
|
|a Moot, Richard.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
245 |
1 |
4 |
|a The Logic of Categorial Grammars
|h [electronic resource] :
|b A deductive account of natural language syntax and semantics /
|c by Richard Moot, Christian Retore.
|
250 |
|
|
|a 1st ed. 2012.
|
264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2012.
|
300 |
|
|
|a X, 300 p. 69 illus.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Theoretical Computer Science and General Issues,
|x 2512-2029 ;
|v 6850
|
520 |
|
|
|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.
|
650 |
|
0 |
|a Machine theory.
|
650 |
|
0 |
|a Computational linguistics.
|
650 |
|
0 |
|a Computer science.
|
650 |
|
0 |
|a Linguistics.
|
650 |
|
0 |
|a Logic.
|
650 |
|
0 |
|a Compilers (Computer programs).
|
650 |
1 |
4 |
|a Formal Languages and Automata Theory.
|
650 |
2 |
4 |
|a Computational Linguistics.
|
650 |
2 |
4 |
|a Computer Science Logic and Foundations of Programming.
|
650 |
2 |
4 |
|a Linguistics.
|
650 |
2 |
4 |
|a Logic.
|
650 |
2 |
4 |
|a Compilers and Interpreters.
|
700 |
1 |
|
|a Retore, Christian.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer Nature eBook
|
776 |
0 |
8 |
|i Printed edition:
|z 9783642315565
|
776 |
0 |
8 |
|i Printed edition:
|z 9783642315541
|
830 |
|
0 |
|a Theoretical Computer Science and General Issues,
|x 2512-2029 ;
|v 6850
|
856 |
4 |
0 |
|u https://doi.uam.elogim.com/10.1007/978-3-642-31555-8
|z Texto Completo
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-SXCS
|
912 |
|
|
|a ZDB-2-LNC
|
950 |
|
|
|a Computer Science (SpringerNature-11645)
|
950 |
|
|
|a Computer Science (R0) (SpringerNature-43710)
|