Logic, language, information, and computation : 18th International Workshop,WoLLIC2011 Philadephia, PA, USA, May 18-20, 2011 Proceedings / Lev D. Beklemishev, Ruy de queiroz(eds.).
Material type:
TextSeries: Publication details: Berlin. : Springer. 2011.Description: x, 309 pages : illustrations ; 22 cmSubject(s): - 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
- 005.1015113 23 LOG
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Library, Institute of Information and Communication Technology General Stacks | 005.1015113 LOG (Browse shelf(Opens below)) | 1 | Available | I000712 | |
|
Books
|
Library, Institute of Information and Communication Technology General Stacks | 005.1015113 LOG (Browse shelf(Opens below)) | 2 | Available | I000714 | |
|
Books
|
Library, Institute of Information and Communication Technology General Stacks | 005.1015113 LOG (Browse shelf(Opens below)) | 3 | Available | I000713 |
Includes bibliographical references and index.
There are no comments on this title.