言語
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 /
…で:
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 /
…で:
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 ...
…で:
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.