语系
Dinneen, Michael J.
概要
| 作品: | 1 作品在 3 项出版品 1 种语言 | |
|---|---|---|
书目信息
Computation, physics and beyond[electronic resource] :International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers /
by:
Clark Conference ((2005 :); Dinneen, Michael J.; Khoussainov, Bakhadyr.; Nies, Andre.; SpringerLink (Online service)
(书目-语言数据,印刷品)
Unconventional computation and natural computation[electronic resource] :14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015 : proceedings /
by:
Calude, Cristian S.; Clark Conference ((2005 :); Dinneen, Michael J.; SpringerLink (Online service)
(书目-语言数据,印刷品)
Developments in language theory: 8th international confernece,DLT 2004,auckland,New Zealand,December 13-17,2004 ...
by:
Calude, Cristian S.; Calude, Elena; Dinneen, Michael J.
(书目-语言数据,印刷品)
主题
Mathematical Logic and Formal Languages.
Theory of Computation.
Formal languages -- Congresses
Logics and Meanings of Programs.
Mathematics of Computing.
Electronic data processing
Natural computation
Pattern Recognition.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Computer logic
Soft computing
Computer science
Computer Science.