Методы и средства преобразования процедурных описаний дискретных функций в булевы уравнения : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>
Методы и средства преобразования процедурных описаний дискретных функций в булевы уравнения : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>