語系
Pettersson, Paul.
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Confessions of an AI brain
by:
Fersman, Elena.; Pettersson, Paul.; Karapantelakis, Athanasios.; SpringerLink (Online service)
(書目-電子資源)
Formal Modeling and Analysis of Timed Systems : = Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
by:
Pettersson, Paul.; Yi, Wang; SpringerLink (Online service); FORMATS 2005 ((2005 :)
(書目-語言資料,印刷品)
主題
Computer simulation- Congresses.
Software Engineering.
Artificial intelligence- Psychological aspects.
Automata
Logics and Meanings of Programs.
Thought and thinkingxData processing.
Robotics.
Ethics of Technology.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Control, Robotics, Automation.
Computer Science.
Computers and Society.
Temporal automata