語系
Kanazawa, Makoto.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic, language, information and computation16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings /
by:
(1998 :); Kanazawa, Makoto.; Ono, Hiroakira.; Queiroz, Ruy de.; SpringerLink (Online service)
(書目-電子資源)
The mathematics of language12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings /
by:
(1998 :); Kanazawa, Makoto.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
Mathematical Logic and Foundations.
Mathematics of Computing.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Mathematical linguistics
Logic, Symbolic and mathematical
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.