| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| 2062: The World that AI Made | | 978-1-76064-051-4 | 2018 |
| Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings | | 978-3-540-67839-7 | 2000 |
| Algorithmic Decision Theory: 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings | | 978-3-319-23113-6 | 2015 |
| Android Dreams: The Past, Present and Future of Artificial Intelligence | | 978-1-84904-871-2 | 2017 |
| Handbook of Constraint Programming | | 978-0-444-52726-4 | 2006 | Francesca Rossi · Peter van Beek |
| Principles and Practice of Constraint Programming - CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 - December 1, 2001 ... Notes in Computer Science , Band 2239) | | 978-3-540-42863-3 | 2009 |
| Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings | | 978-3-540-26276-3 | 2008 | Fahiem Bacchus |
| Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, ... Notes in Computer Science, Band 10491) | | 978-3-319-66262-6 | 2017 | Serge Gaspers |