語系
Dawar, Anuj.
概要
| 作品: | 14 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer science logic = 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, proceedings /
by:
Dawar, Anuj.; Veith, Helmut.; SpringerLink (Online service)
(書目-語言資料,印刷品)
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 :)
(書目-語言資料,印刷品)
How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
Dawar, Anuj.; Lowe, Benedikt.; SpringerLink (Online service); Cooper, S. Barry.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Computer logic
Programming Languages, Compilers, Interpreters.
Computable functions
Computer science- Mathematics
Computer logic- Congresses.
Logic, Symbolic and mathematical- Congresses.
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.