|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Сложность константного фрагмента пропозициональной динамической логикистатья
- Автор: Рыбаков М.Н.
- Журнал: Вестник Тверского государственного университета. Серия: Прикладная математика
- Номер: 5
- Год издания: 2007
- Издательство: Твер. гос. ун-т
- Местоположение издательства: Тверь
- Первая страница: 5
- Последняя страница: 17
- Добавил в систему: Рыбаков Михаил Николаевич