|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Mosaic Method and Analytic Tableaux for Temporal Logicsтезисы доклада
- Автор: Grigoriev O.M.
- Сборник: Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года
- Серия: Смирновские чтения по логике
- Тезисы
- Год издания: 2003
- Место издания: ИФРАН Москва
- Первая страница: 196
- Последняя страница: 197
- Добавил в систему: Григорьев Олег Михайлович