Вы здесь

Система машинной поддержки доказательства: от тактикалов к генератору тактикалов

Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
2002
Стр.: 
29 с.
Библиография: 
Библиогр.: c.29
Место издания: 
Номер: 
96
Карточка: 

Б2.14.

Ануреев И. С..

Система машинной поддержки доказательства: от тактикалов к генератору тактикалов-Новосибирск., 2002.-29 с.-(Препринт ИСИ СО РАН №96).-(Lecture Notes in Computer Science).
Библиогр.: c.29

Таблица в старой библиотеке: 
ISI2 445