Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Model Checking and Artificial Intelligence
häftad,
2007,
Engelska,
ISBN 9783540741275
The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with …
KI 2011: Advances in Artificial Intelligence
häftad,
2011,
Engelska,
ISBN 9783642244544
This book constitutes the refereed proceedings of the 34th Annual German Conference on Artificial Intelligence, KI 2011, held in Berlin, Germany, in October 2011. The 32 revised …
KI 2021: Advances in Artificial Intelligence
häftad,
2021,
Engelska,
ISBN 9783030876258
This book constitutes the refereed proceedings of the 44th German Conference on Artificial Intelligence, KI 2021, held in September/October 2021. Due to COVID-19 pandemic the …