Вы здесь
Доказательство завершаемости программ средствами динамической логики
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1988
Ключевые слова:
Стр.:
С.72-83.
Выпуск:
124
Библиография:
Библиогр.: c.83.
Место издания:
Карточка:
Б2.23, Б2.14.
Шилов Н. В..
Доказательство завершаемости программ средствами динамической логики-Новосибирск.// Языки спецификаций и логическое программирование (Вычислительные системы), 1988.-С.72-83.
Библиогр.: c.83.
Таблица в старой библиотеке:
PAP4 792