Model Checking and Artificial Intelligence Stefan Edelkamp & Alessio Lomuscio: другие книги

KI 2021: Advances in Artificial Intelligence

2021

Computer Games

2017

Computer Games

2016

Heuristic Search

2011

Model Checking Software

2007