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