Войти
Нет соединения — показаны сохранённые данные
Logic and Argumentation
Logic and Argumentation
Mehdi Dastani
Specification and Verification of Multi-agent Systems
Specification and Verification of Multi-agent Systems
Mehdi Dastani