Thielscher, Michael.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reasoning Robots :The Art and Science of Programming Robotic Agents /
by:
Thielscher, Michael.
(書目-電子資源)
KI 2014: Advances in Artificial Intelligence37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings /
by:
(1998 :); Lutz, Carsten.; SpringerLink (Online service); Thielscher, Michael.
(書目-語言資料,印刷品)
Computational logic in multi-agent systemsb9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers /
by:
(1998 :); Fisher, Michael.; Sadri, Fariba.; SpringerLink (Online service); Thielscher, Michael.
(書目-電子資源)
AI 2012advances in artificial intelligence : 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012 : proceedings /
by:
(1998 :); SpringerLink (Online service); Thielscher, Michael.; Zhang, Dongmo.
(書目-電子資源)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Theory of Computation.
Data Structures, Cryptology and Information Theory.
Computer logic.
Image Processing and Computer Vision.
Mathematics of Computing.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Philosophy of Technology
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Computation by Abstract Devices.
Formal methods (Computer science)
Information Storage and Retrieval.
User Interfaces and Human Computer Interaction.
Models and Principles.
Computer science
Computational intelligence
Programming Techniques
Philosophy
Computer Science.
Simulation and Modeling.
Intelligent agents (Computer software)
System design.