Languages
Tsoukias, Alexis.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Algorithmic decision theoryfirst international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings /
by:
(1998 :); Rossi, Francesca.; SpringerLink (Online service); Tsoukias, Alexis.
(Electronic resources)
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.
(Electronic resources)
Subjects
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.