TY  - BOOK
AU  - Beklemishev,Lev D.
AU  - 
ED  - Workshop on Logic, Language, Information and Computation
TI  - Logic, language, information, and computation: 18th International Workshop,WoLLIC2011 Philadephia, PA, USA, May 18-20, 2011 Proceedings 
T2  - Lecture notes in computer science,
U1  - 005.1015113 23
PY  - 2011///
CY  - Berlin.
PB  - Springer.
KW  - Computer logic
KW  - Congresses
KW  - Logic, Symbolic and mathematical
KW  - fast
KW  - Berechnungstheorie
KW  - gnd
KW  - Formale Grammatik
KW  - Formale Methode
KW  - Formale Syntax
KW  - K�unstliche Intelligenz
KW  - Logik
KW  - Nat�urliche Sprache
KW  - Programmierlogik
KW  - Programmiersprache
KW  - Theoretische Informatik
KW  - Kongress
KW  - Darmstadt
KW  - 2013
KW  - Conference proceedings
N1  - Includes bibliographical references and index
ER  -