|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Эквивалентные преобразования схем программ в моделях, порожденных формулами динамической логикитезисы доклада
- Автор: Захаров В.А.
- Сборник: Логика, методология и философия науки. XI Международная конференция
- Том: 2
- Тезисы
- Год издания: 1995
- Место издания: Москва-Обнинск
- Первая страница: 137
- Последняя страница: 142
- Добавил в систему: Захаров Владимир Анатольевич