Вы здесь
Схемы недетерминированных программ и их применение к динамической логике
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1983
Ключевые слова:
Место издания:
Карточка:
Непомнящий В. А., Шилов Н. В..
Схемы недетерминированных программ и их применение к динамической логике-Таллин.// Применение методов математической логики: Тез.докл./III конф., Таллин, 1983.
Таблица в старой библиотеке:
ISI1 713