Languages
Queiroz, Ruy de.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
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.
(Electronic resources)
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)
(Electronic resources)
Subjects
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computer Science.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Logic, Symbolic and mathematical
Theory of Computation.
Discrete Mathematics in Computer Science.
Mathematics of Computing.