СЕРГЕЕВИЧ, КЛЕЩЕВ АЛЕКСАНДР - In: Проблемы управления (2011) 3, pp. 2-7
Предложена операционная модель интуитивного доказательства, представляющая собой последовательность команд, операндами … команд определяется средствами макроязыка с использованием фиксированного множества базисных операций. Остаточная модель …