語系
Queiroz, Ruy.
概要
| 作品: | 3 作品在 3 項出版品 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); Congress on Progress and Controversies in Oncological Urology (2000:); Ong, Luke.
(書目-電子資源)
Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by:
Queiroz, Ruy.; Hodges, Wilfrid.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(書目-電子資源)
Logic, language, information and computation = 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
by:
Queiroz, Ruy.; Dawar, Anuj.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
主題
Artificial Intelligence (incl. Robotics)
Computer logic
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Symbolic and Algebraic Manipulation.
Computation by Abstract Devices.
Logic, Symbolic and mathematical
Theory of Computation.
Computing Methodologies.
Mathematics of Computing.
Discrete Mathematics in Computer Science.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.