Вы здесь
Система машинной поддержки доказательства: от тактикалов к генератору тактикалов
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
2002
Ключевые слова:
Стр.:
29 с.
Библиография:
Библиогр.: c.29
Место издания:
Номер:
96
Карточка:
Б2.14.
Ануреев И. С..
Система машинной поддержки доказательства: от тактикалов к генератору тактикалов-Новосибирск., 2002.-29 с.-(Препринт ИСИ СО РАН №96).-(Lecture Notes in Computer Science).
Библиогр.: c.29
Таблица в старой библиотеке:
ISI2 445