語系
Dinneen, Michael J.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Unconventional computation and natural computation14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015 : proceedings /
by:
(1998 :); Calude, Cristian S.; Dinneen, Michael J.; SpringerLink (Online service)
(書目-電子資源)
Unconventional models on computationthird international conference, UMC 2002, Kobe, Japan, October 15-19, 2002 : proceedings /
by:
(1998 :); Calude, Cristian S.; Dinneen, Michael J.; Peper, Ferdinand.; SpringerLink (Online service)
(書目-電子資源)
Computation, physics and beyondInternational 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:
(1998 :); Dinneen, Michael J.; Khoussainov, Bakhadyr.; Nies, Andre.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
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)
Soft computing
Computer logic
Computer science
Computer Science.