|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Buy one get two free: a simpler formulation of natural deduction for computation tree logic CTLтезисы доклада
- Авторы: Bolotov A.E., Grigoriev O.M., Shangin V.O.
- Сборник: Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года
- Серия: Смирновские чтения по логике
- Тезисы
- Год издания: 2007
- Место издания: ИФРАН Москва
- Первая страница: 44
- Последняя страница: 46
- Добавил в систему: Шангин Василий Олегович