Pettersson, Paul.
概要
作品: | 3 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Formal Modeling and Analysis of Timed Systems :Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
by:
(1998 :); Pettersson, Paul.; SpringerLink (Online service); Yi, Wang
(書目-電子資源)
Confessions of an AI brain
by:
Fersman, Elena.; Karapantelakis, Athanasios.; Pettersson, Paul.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Artificial intelligence
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.
Computer simulation
Artificial Intelligence.
Control, Robotics, Automation.
Computer Science.
Computers and Society.
Temporal automata