語系
Kanazawa, Makoto.
概要
| 作品: | 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.
(書目-電子資源)
The mathematics of language = 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Kanazawa, Makoto.
(書目-電子資源)
主題
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.
Mathematical Logic and Foundations.
Mathematical linguistics
Logic, Symbolic and mathematical
Theory of Computation.
Mathematics of Computing.
Discrete Mathematics in Computer Science.