Cargando…

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings /

Edited under the auspices of the Association of Logic, Language and Information (FoLLI), this book constitutes the refereed proceedings of the 20th anniversary of the International Conference on Logical Aspects of Computational Linguistics, LACL 2016, held in LORIA Nancy, France, in December 2016. T...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Amblard, Maxime (Editor ), de Groote, Philippe (Editor ), Pogodalla, Sylvain (Editor ), Retoré, Christian (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Colección:Theoretical Computer Science and General Issues, 10054
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-662-53826-5
003 DE-He213
005 20230330073928.0
007 cr nn 008mamaa
008 161109s2016 gw | s |||| 0|eng d
020 |a 9783662538265  |9 978-3-662-53826-5 
024 7 |a 10.1007/978-3-662-53826-5  |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 
245 1 0 |a Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016)  |h [electronic resource] :  |b 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings /  |c edited by Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré. 
250 |a 1st ed. 2016. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2016. 
300 |a XXIV, 335 p. 54 illus., 7 illus. in color.  |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 10054 
505 0 |a Formal logic -- Computational Linguistics -- Syntactic Parsing -- Formal Semantics -- Discourse Interpretation. 
520 |a Edited under the auspices of the Association of Logic, Language and Information (FoLLI), this book constitutes the refereed proceedings of the 20th anniversary of the International Conference on Logical Aspects of Computational Linguistics, LACL 2016, held in LORIA Nancy, France, in December 2016. The 19 contributed papers, presented together with 4 invited papers and 6 abstracts, were carefully reviewed and selected from 38 submissions. The focus of the conference is the use of type theoretic, proof theoretic, and model theoretic methods for describing and formalising natural language syntax, semantics, and pragmatics as well as the implementation of the corresponding tools. 
650 0 |a Machine theory. 
650 0 |a Artificial intelligence. 
650 0 |a Natural language processing (Computer science). 
650 0 |a Computer science. 
650 0 |a Computational linguistics. 
650 1 4 |a Formal Languages and Automata Theory. 
650 2 4 |a Artificial Intelligence. 
650 2 4 |a Natural Language Processing (NLP). 
650 2 4 |a Computer Science Logic and Foundations of Programming. 
650 2 4 |a Computational Linguistics. 
700 1 |a Amblard, Maxime.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a de Groote, Philippe.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Pogodalla, Sylvain.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Retoré, Christian.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783662538258 
776 0 8 |i Printed edition:  |z 9783662538272 
830 0 |a Theoretical Computer Science and General Issues,  |x 2512-2029 ;  |v 10054 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-662-53826-5  |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)