Вы здесь
Автоматическое доказательство формул корректности предикатной программы в системе Russell
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
2012
Ключевые слова:
Стр.:
32 с.
Библиография:
Библиогр.: c.32
Место издания:
Номер:
163
Карточка:
Б3.52.
Батраков В. А., Шелехов В. И..
Автоматическое доказательство формул корректности предикатной программы в системе Russell-Новосибирск., 2012.-32 с.-(Препринт ИСИ СО РАН №163).
Библиогр.: c.32
Таблица в старой библиотеке:
ISI3 282