語系
Thielscher, Michael.
概要
| 作品: | 3 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
KI 2014: Advances in Artificial Intelligence = 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings /
by:
Thielscher, Michael.; SpringerLink (Online service); Lutz, Carsten.
(書目-電子資源)
Challenges for action theories
by:
SpringerLink (Online service); Thielscher, Michael.
(書目-語言資料,印刷品)
AI 2012 = advances in artificial intelligence : 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012 : proceedings /
by:
Thielscher, Michael.; SpringerLink (Online service); Zhang, Dongmo.
(書目-電子資源)
Reasoning Robots = The Art and Science of Programming Robotic Agents /
by:
SpringerLink (Online service); Thielscher, Michael.
(書目-語言資料,印刷品)
主題
Calculus- Computer programs.
Philosophy.
Philosophy of Technology.
Computer logic.
Artificial intelligence
Image Processing and Computer Vision.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Computation by Abstract Devices.
Robots- Programming.
Programming languages (Electronic computers)
Formal methods (Computer science)
Information Storage and Retrieval.
User Interfaces and Human Computer Interaction.
Autonomous robots.
Computer Science.
Simulation and Modeling.
Intelligent agents (Computer software)
System design.