Logical Aspects of Computational Linguistics Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers /

This 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....

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Lecomte, Alain (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Lamarche, Francois (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Perrier, Guy (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
Έκδοση:1st ed. 1999.
Σειρά:Lecture Notes in Artificial Intelligence ; 1582
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03993nam a2200589 4500
001 978-3-540-48975-7
003 DE-He213
005 20191024031748.0
007 cr nn 008mamaa
008 121227s1999 gw | s |||| 0|eng d
020 |a 9783540489757  |9 978-3-540-48975-7 
024 7 |a 10.1007/3-540-48975-4  |2 doi 
040 |d GrThAP 
050 4 |a QA76.9.N38 
072 7 |a UYQL  |2 bicssc 
072 7 |a COM073000  |2 bisacsh 
072 7 |a UYQL  |2 thema 
082 0 4 |a 006.35  |2 23 
245 1 0 |a Logical Aspects of Computational Linguistics  |h [electronic resource] :  |b Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers /  |c edited by Alain Lecomte, Francois Lamarche, Guy Perrier. 
250 |a 1st ed. 1999. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 1999. 
300 |a XI, 255 p.  |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 Lecture Notes in Artificial Intelligence ;  |v 1582 
505 0 |a Invited 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 |a This 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 |a Natural language processing (Computer science). 
650 0 |a Architecture, Computer. 
650 0 |a Computer logic. 
650 0 |a Artificial intelligence. 
650 0 |a Mathematical logic. 
650 1 4 |a Natural Language Processing (NLP).  |0 http://scigraph.springernature.com/things/product-market-codes/I21040 
650 2 4 |a Computer System Implementation.  |0 http://scigraph.springernature.com/things/product-market-codes/I13057 
650 2 4 |a Logics and Meanings of Programs.  |0 http://scigraph.springernature.com/things/product-market-codes/I1603X 
650 2 4 |a Artificial Intelligence.  |0 http://scigraph.springernature.com/things/product-market-codes/I21000 
650 2 4 |a Mathematical Logic and Formal Languages.  |0 http://scigraph.springernature.com/things/product-market-codes/I16048 
700 1 |a Lecomte, Alain.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Lamarche, Francois.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Perrier, Guy.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783662199671 
776 0 8 |i Printed edition:  |z 9783540657514 
830 0 |a Lecture Notes in Artificial Intelligence ;  |v 1582 
856 4 0 |u https://doi.org/10.1007/3-540-48975-4  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
912 |a ZDB-2-BAE 
950 |a Computer Science (Springer-11645)