Electronic Documents Search

Documents found: 1

Creators	Артемьев Андрей Сергеевич
Scientific adviser	Пак Вадим Геннадьевич
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2017
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	система автоматического доказательства теорем; АДТ; логика предикатов первого порядка
Document type	Bachelor graduation qualification work
File type	PDF
Language	Russian
Level of education	Bachelor
Speciality code (FGOS)	02.03.03
Speciality group (FGOS)	020000 - Компьютерные и информационные науки
DOI	10.18720/SPBPU/2/v17-1732
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.1 Mb