Вы здесь
Реализация метода оценки формул пропозициональной динамической логики с неподвижными точками на конечных моделях
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1993
Ключевые слова:
Стр.:
С.97-116.
Библиография:
Библиогр.: c.116.
Место издания:
Карточка:
Б2.13.
Шилов Н. В., Шнайдер П. В..
Реализация метода оценки формул пропозициональной динамической логики с неподвижными точками на конечных моделях-Новосибирск.// Проблемы теоретического и экспериментального программирования: Сборник научных трудов, 1993.-С.97-116.
Библиогр.: c.116.
Таблица в старой библиотеке:
ISI1 927