Electronic Documents Search

Documents found: 1

1

Экспериментальная программа для доказательства теорем интуиционистской логики обратным методом Маслова // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2015. – № 6 (234)

Creators	Павлов Владимир Александрович; Пак Вадим Геннадьевич
Organization	Санкт-Петербургский политехнический университет Петра Великого; Министерство образования и науки Российской Федерации
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2015
Collection	Общая коллекция
Subjects	Радиоэлектроника; Искусственный интеллект. Экспертные системы; автоматическое доказательство теорем; программы доказательства теорем; программы; доказательство теорем; математическая логика; интуиционистская логика; логические исчисления; секвенции; WhaleProver; системы доказательства теорем; обратный метод Маслова; Маслова обратный метод
UDC	004.8
LBC	32.813
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.5862/JCSTCS.234.7
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 344 Kb

1