Languages
Pettersson, Paul.
Overview
Works: | 3 works in 1 publications in 1 languages |
---|
Titles
Confessions of an AI brain
by:
Fersman, Elena.; Pettersson, Paul.; Karapantelakis, Athanasios.; SpringerLink (Online service)
(Electronic resources)
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 :)
(Language materials, printed)
Subjects
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