Electronic Documents Search

Documents found: 1

1

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

Creators	Кацман Виктор Игоревич
Scientific adviser	Новиков Федор Александрович
Organization	Санкт-Петербургский политехнический университет Петра Великого
Imprint	Санкт-Петербург, 2022
Electronic publication	Санкт-Петербург
Collection	Научные работы аспирантов/докторантов; Общая коллекция
Subjects	Вычислительная математика; Алгоритмы; символьные выражения; логические утверждения; цепочка преобразований; автоматическая проверка; язык математических выкладок
UDC	519.6; 510.5; 004.421
Document type	Author's Abstract
File type	PDF
Language	Russian
Speciality code (OKSVNK)	05.13.11
Speciality group (OKSVNK)	050000 - Технические науки
DOI	10.18720/SPBPU/2/r22-58
Rights	Доступ из локальной сети ИБК СПбПУ (чтение)

pdf, 1.1 Mb

1