Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
---|---|---|---|---|---|
Automatische Synthese Rekursiver Programme Als Beweisverfahren | Paperback | 978-0-387-55300-9 | 1992 | ||
Automatische Synthese rekursiver Programme als Beweisverfahren (Informatik-Fachberichte) (German Edition) | Broschiert | 978-3-540-55300-7 | 1992 | ||
Companion Technology: A Paradigm Shift in Human-Technology Interaction | Taschenbuch | 978-3-319-82880-0 | 2018 | Andreas Wendemuth | |
Companion Technology: A Paradigm Shift in Human-Technology Interaction | Gebunden | 978-3-319-43664-7 | 2017 | " | |
KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings | Taschenbuch | 978-3-540-23166-0 | 2008 | G??nther Palm · Thom Fr??hwirth | |
Recent Advances in AI Planning: 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings | " | 978-3-540-67866-3 | 2008 | Maria Fox |
S. B · Saxon Bennet · Saxon Bennett · Segna Bond · Shojun Bando · Shoshana Bennett · Susan Bandy · Susan Bennett · Susan Bond · Susana Benet · Susanne Bennett · Suzanne Bennett · Suzanne Bonet