Model Checking and Artificial Intelligence المزيد من كتب Stefan Edelkamp & Alessio Lomuscio

KI 2021: Advances in Artificial Intelligence

٢٠٢١

Computer Games

٢٠١٧

Computer Games

٢٠١٦

Heuristic Search

٢٠١١

Model Checking Software

٢٠٠٧