語系
Tsoukias, Alexis.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Algorithmic decision theoryfirst international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings /
by:
(1998 :); Rossi, Francesca.; SpringerLink (Online service); Tsoukias, Alexis.
(書目-電子資源)
Algorithmic decision theorysecond international conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011 : proceedings /
by:
(1998 :); Brafman, Ronen I.; Roberts, Fred S.; SpringerLink (Online service); Tsoukias, Alexis.
(書目-電子資源)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Computer algorithms
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Programming Techniques.
Decision making
Special Purpose and Application-Based Systems.
Computer Science.
Probability and Statistics in Computer Science.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.
Computer Communication Networks.
Symbolic and Algebraic Manipulation.