Tomasz Kowalski - A modular bisimulation characterization theorem for hybrid propositional logic

Просмотров: 1 | Время: 33:40 | Голосов: +1 +1 | Скачать


Скачать клип Tomasz Kowalski - A modular bisimulation characterization theorem for hybrid propositional logic