The Mathematics of Language [recurso electrónico] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings / edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 6878Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Descripción: IV, 227p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642232114Tema(s): Computer science | Information theory | Logic design | Algebra -- Data processing | Logic, Symbolic and mathematical | Computer Science | Mathematical Logic and Formal Languages | Symbolic and Algebraic Manipulation | Logics and Meanings of Programs | Theory of Computation | Mathematics of Computing | Mathematical Logic and FoundationsFormatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 005.131 Clasificación LoC:QA8.9-QA10.3Recursos en línea: Libro electrónico En: Springer eBooksResumen: This book constitutes the proceedings of the 12th Biennial Meeting on Mathematics in Language, MOL 12, held in Nara, Japan, in September 2011. Presented in this volume are 12 carefully selected papers, as well as the paper of the invited speaker Andreas Maletti. The papers cover such diverse topics as formal languages (string and tree transducers, grammar-independent syntactic structures, probabilistic and weighted context-free grammars, formalization of minimalist syntax), parsing and unification, lexical and compositional semantics, statistical language models, and theories of truth.Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | QA8.9 -QA10.3 (Browse shelf(Abre debajo)) | 1 | No para préstamo | 376619-2001 |
Navegando Biblioteca Electrónica Estantes, Código de colección: Colección de Libros Electrónicos Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA8.9 -QA10.3 Relational and Algebraic Methods in Computer Science | QA8.9 -QA10.3 Transactions on Rough Sets XIV | QA8.9 -QA10.3 Typed Lambda Calculi and Applications | QA8.9 -QA10.3 The Mathematics of Language | QA8.9 -QA10.3 Logic, Rationality, and Interaction | QA8.9 -QA10.3 Mathematical Logic | QA808.2 The finite element method for solid and structural mechanics |
This book constitutes the proceedings of the 12th Biennial Meeting on Mathematics in Language, MOL 12, held in Nara, Japan, in September 2011. Presented in this volume are 12 carefully selected papers, as well as the paper of the invited speaker Andreas Maletti. The papers cover such diverse topics as formal languages (string and tree transducers, grammar-independent syntactic structures, probabilistic and weighted context-free grammars, formalization of minimalist syntax), parsing and unification, lexical and compositional semantics, statistical language models, and theories of truth.
19