|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Предикатная логика ветвящегося времени QCTL: алгоритмические, семантические и дедуктивные аспектытезисы доклада
- Авторы: Котикова Е.А., Рыбаков М.Н.
- Сборник: Открытый Российско-Финский коллоквиум по логике. Санкт-Петербург, 14–16 июня 2012 года
- Тезисы
- Год издания: 2012
- Добавил в систему: Рыбаков Михаил Николаевич