Logic, language, information, and computation :
Logic, language, information, and computation : 18th International Workshop,WoLLIC2011 Philadephia, PA, USA, May 18-20, 2011 Proceedings /
Lev D. Beklemishev, Ruy de queiroz(eds.).
- Berlin. : Springer. 2011.
- x, 309 pages : illustrations ; 22 cm.
- Lecture notes in computer science, 8071 0302-9743 ; LNCS sublibrary. SL 1, Theoretical computer science and general issues. .
Includes bibliographical references and index.
Computer logic--Congresses.
Logic, Symbolic and mathematical--Congresses.
Computer logic.
Logic, Symbolic and mathematical.
Berechnungstheorie.
Formale Grammatik.
Formale Methode.
Formale Syntax.
K�unstliche Intelligenz.
Logik.
Nat�urliche Sprache.
Programmierlogik.
Programmiersprache.
Theoretische Informatik.
Kongress--Darmstadt--2013.
Conference proceedings.
005.1015113 / LOG
Includes bibliographical references and index.
Computer logic--Congresses.
Logic, Symbolic and mathematical--Congresses.
Computer logic.
Logic, Symbolic and mathematical.
Berechnungstheorie.
Formale Grammatik.
Formale Methode.
Formale Syntax.
K�unstliche Intelligenz.
Logik.
Nat�urliche Sprache.
Programmierlogik.
Programmiersprache.
Theoretische Informatik.
Kongress--Darmstadt--2013.
Conference proceedings.
005.1015113 / LOG