Системы переписывания формул и их применение в автоматической верификации программ : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.11
Системы переписывания формул и их применение в автоматической верификации программ : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.11