語系
Walsh, Toby.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
A short introduction to preferences = between artificial intelligence and social choice /
by:
Rossi, Francesca, (1962-); Venable, Kristen Brent.; Walsh, Toby.
(書目-語言資料,印刷品)
Algorithmic Decision Theory = 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings /
by:
Walsh, Toby.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Theory and Applications of Satisfiability Testing = 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /
by:
SAT 2005 ((2005 :); Walsh, Toby.; Bacchus, Fahiem.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Theory and applications of satisfiability testing - SAT 2017 = 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings /
by:
Walsh, Toby.; SpringerLink (Online service); Gaspers, Serge.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Algorithmic decision theory = 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Walsh, Toby.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Computer algorithms
Software Engineering.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Artificial intelligence.
Preferences (Philosophy)
Computer Communication Networks.
Decision making
Theory of Computation.
Information Systems Applications (incl. Internet).
Computer Science.
Programming Techniques.
Computer programming.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Information Systems Applications (incl. Internet)
Algorithms.
Social choice
Probability and Statistics in Computer Science.
Computer communication systems.
Propositional calculus
Artificial Intelligence (incl. Robotics)
Application software.
Mathematical statistics.
Artificial Intelligence.
Decision trees
Data mining
Reasoning
Numeric Computing.
Computer software