Normal view
MARC view
- Edelkamp, Stefan
Edelkamp, Stefan (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Edelkamp, Stefan., Model Checking and Artificial Intelligence, 2007.