語系
Queiroz, Ruy.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
by:
Queiroz, Ruy.; SpringerLink (Online service); Ong, Luke.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by:
Hodges, Wilfrid.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Queiroz, Ruy.
(書目-語言資料,印刷品)
Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by:
Hodges, Wilfrid.; Workshop on the Preservation of Stability under Discretization ((2001 :); Queiroz, Ruy.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Logic, Language, Information, and Computation = 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Libkin, Leonid.; SpringerLink (Online service); Kohlenbach, Ulrich.; Queiroz, Ruy.
(書目-語言資料,印刷品)
主題
Algorithm Analysis and Problem Complexity.
Symbolic and Algebraic Manipulation.
Theory of Computation.
Mathematics of Computing.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Computer logic
Logic, Symbolic and mathematical
Computing Methodologies.
Discrete Mathematics in Computer Science.
Computer Science, general.
Computation by Abstract Devices.