Вы здесь
Сужение как техника автоматического доказательства
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2000
Ключевые слова:
Стр.:
С.112
Карточка:
Б2.2.
Ануреев И. С..
Сужение как техника автоматического доказательства// Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II-2000.-С.112
Таблица в старой библиотеке:
PAP21 520