Electronic Documents Search
Documents found: 2
-
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 -
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
