TY  - GEN
AU  - Ануреев,И.С.
TI  - Система машинной поддержки доказательства: от тактикалов к генератору тактикалов
KW  - новые информационные технологии
KW  - компьютерная безопасность
KW  - логика
KW  - доказательства
KW  - тактикалы
N1  - Библиогр.: 7 назв
ER  -