Electronic Documents Search

Documents found: 1

1

Эффективная программная реализация обратного метода Маслова для интуиционистской логики // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2017. – Т. 10, № 1

Creators	Павлов Владимир Александрович
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2017
Collection	Общая коллекция
Subjects	Радиоэлектроника; Искусственный интеллект. Экспертные системы; метод Маслова; Маслова метод; интуиционистская логика; обратные методы (логика); логические исчисления; логические выводы; автоматическое доказательство теорем; method Maslova; Maslova method; intuitionistic logic; inverse methods (logic); logical calculus; logical conclusions; automatic theorem proving
UDC	004.8
LBC	32.813
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.18721/JCSTCS.10104
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 0.9 Mb

1