Вы здесь

Реализация метода оценки формул пропозициональной динамической логики с неподвижными точками на конечных моделях

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
С.97-116.
Библиография: 
Библиогр.: c.116.
Место издания: 
Карточка: 

Б2.13.

Шилов Н. В., Шнайдер П. В..

Реализация метода оценки формул пропозициональной динамической логики с неподвижными точками на конечных моделях-Новосибирск.// Проблемы теоретического и экспериментального программирования: Сборник научных трудов, 1993.-С.97-116.
Библиогр.: c.116.

Таблица в старой библиотеке: 
ISI1 927