語系
Queiroz, Ruy.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Logic, language, information and computation17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
by:
(1998 :); Dawar, Anuj.; Queiroz, Ruy.; SpringerLink (Online service)
(書目-電子資源)
Logic, Language, Information and Computation15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by:
(1998 :); Hodges, Wilfrid.; Queiroz, Ruy.; SpringerLink (Online service)
(書目-電子資源)
Logic, language, information and computation19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
by:
(1998 :); Ong, Luke.; Queiroz, Ruy.; SpringerLink (Online service)
(書目-電子資源)
主題
Computing Methodologies.
Mathematical Logic and Formal Languages.
Theory of Computation.
Mathematics of Computing.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computer logic
Formal methods (Computer science)
Logic, Symbolic and mathematical
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.