000 | 03781nam a22006255i 4500 | ||
---|---|---|---|
001 | 978-3-540-48975-7 | ||
003 | DE-He213 | ||
005 | 20240423132459.0 | ||
007 | cr nn 008mamaa | ||
008 | 121227s1999 gw | s |||| 0|eng d | ||
020 |
_a9783540489757 _9978-3-540-48975-7 |
||
024 | 7 |
_a10.1007/3-540-48975-4 _2doi |
|
050 | 4 | _aQA76.9.N38 | |
072 | 7 |
_aUYQL _2bicssc |
|
072 | 7 |
_aCOM073000 _2bisacsh |
|
072 | 7 |
_aUYQL _2thema |
|
082 | 0 | 4 |
_a006.35 _223 |
245 | 1 | 0 |
_aLogical Aspects of Computational Linguistics _h[electronic resource] : _bSecond International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers / _cedited by Alain Lecomte, Francois Lamarche, Guy Perrier. |
250 | _a1st ed. 1999. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c1999. |
|
300 |
_aXI, 255 p. _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 Artificial Intelligence, _x2945-9141 ; _v1582 |
|
505 | 0 | _aInvited 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. | |
520 | _aThis 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 | 0 | _aNatural language processing (Computer science). | |
650 | 0 | _aComputer systems. | |
650 | 0 | _aComputer science. | |
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aMachine theory. | |
650 | 1 | 4 | _aNatural Language Processing (NLP). |
650 | 2 | 4 | _aComputer System Implementation. |
650 | 2 | 4 | _aComputer Science Logic and Foundations of Programming. |
650 | 2 | 4 | _aArtificial Intelligence. |
650 | 2 | 4 | _aFormal Languages and Automata Theory. |
700 | 1 |
_aLecomte, Alain. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aLamarche, Francois. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aPerrier, Guy. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783540657514 |
776 | 0 | 8 |
_iPrinted edition: _z9783662199671 |
830 | 0 |
_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v1582 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/3-540-48975-4 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
912 | _aZDB-2-BAE | ||
942 | _cSPRINGER | ||
999 |
_c188213 _d188213 |