Model Checking and Artificial Intelligence
de Stefan Edelkamp, Alessio Lomuscio
Ediciones (1)
- Model Checking and Artificial Intelligence (2007)
Springer London, Limited · inglés · ISBN 9783540741282
de Stefan Edelkamp, Alessio Lomuscio
Springer London, Limited · inglés · ISBN 9783540741282