語系
Queiroz, Ruy de.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic, language, information and computation = 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings /
by:
Ono, Hiroakira.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Queiroz, Ruy de.; Kanazawa, Makoto.
(書目-電子資源)
Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Beklemishev, Lev D.; Queiroz, Ruy de.; SpringerLink (Online service)
(書目-電子資源)
主題
Artificial Intelligence (incl. Robotics)
Discrete Mathematics in Computer Science.
Algorithm Analysis and Problem Complexity.
Mathematics of Computing.
Computer Science.
Symbolic and Algebraic Manipulation.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Logic, Symbolic and mathematical
Theory of Computation.