Workshop on Logic, Language, Information and Computation (2010 :)
概要
| 作品: | 5 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Logic, language, information and computation = 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
by:
Dawar, Anuj.; Queiroz, Ruy.; SpringerLink (Online service); Workshop on Logic, Language, Information and Computation (2010 :)
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Formal methods (Computer science)
Computer logic- Congresses.
Logic, Symbolic and mathematical- Congresses.
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.