LEADER 04114nam  22007935  450 
001 9910143465303321
005 20250730110221.0
010   $a3-540-48975-4
024 7 $a10.1007/3-540-48975-4
035   $a(CKB)1000000000211076
035   $a(SSID)ssj0000324535
035   $a(PQKBManifestationID)11254569
035   $a(PQKBTitleCode)TC0000324535
035   $a(PQKBWorkID)10313180
035   $a(PQKB)11462729
035   $a(DE-He213)978-3-540-48975-7
035   $a(MiAaPQ)EBC3071585
035   $a(MiAaPQ)EBC6486250
035   $a(PPN)155172158
035   $a(EXLCZ)991000000000211076
100   $a20121227d1999      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogical Aspects of Computational Linguistics $eSecond International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers /$fedited by Alain Lecomte, Francois Lamarche, Guy Perrier
205   $a1st ed. 1999.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1999.
215   $a1 online resource (XI, 255 p.) 
225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v1582
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-65751-7 
320   $aIncludes bibliographical references and index.
327   $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.
330   $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.
410  0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v1582
606   $aNatural language processing (Computer science)
606   $aComputer systems
606   $aComputer science
606   $aArtificial intelligence
606   $aMachine theory
606   $aNatural Language Processing (NLP)
606   $aComputer System Implementation
606   $aComputer Science Logic and Foundations of Programming
606   $aArtificial Intelligence
606   $aFormal Languages and Automata Theory
615  0$aNatural language processing (Computer science)
615  0$aComputer systems.
615  0$aComputer science.
615  0$aArtificial intelligence.
615  0$aMachine theory.
615 14$aNatural Language Processing (NLP).
615 24$aComputer System Implementation.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aArtificial Intelligence.
615 24$aFormal Languages and Automata Theory.
676   $a410.285
702   $aLecomte$b Alain$f1947-
702   $aLamarche$b Franc?ois
702   $aPerrier$b Guy$f1950-
712 12$aLACL '97
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910143465303321
996   $aLogical Aspects of Computational Linguistics$9772784
997   $aUNINA