Поиск по электронным документам
Найдено документов: 1
-
Авторы Павлов Владимир Александрович; Пак Вадим Геннадьевич Организация Санкт-Петербургский политехнический университет Петра Великого; Министерство образования и науки Российской Федерации Выходные сведения Санкт-Петербург: Изд-во Политехн. ун-та, 2015 Коллекция Общая коллекция Тематика Радиоэлектроника; Искусственный интеллект. Экспертные системы; автоматическое доказательство теорем; программы доказательства теорем; программы; доказательство теорем; математическая логика; интуиционистская логика; логические исчисления; секвенции; WhaleProver; системы доказательства теорем; обратный метод Маслова; Маслова обратный метод УДК 004.8 ББК 32.813 Тип документа Статья, доклад Тип файла PDF Язык Русский DOI 10.5862/JCSTCS.234.7 Права доступа Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 344 Кб
