Electronic Documents Search

Documents found: 1

1

Вывод следствий с предварительно заданными свойствами // Системный анализ в проектировании и управлении: сборник научных трудов XXV Международной научной и учебно-практической конференции, 13–14 октября 2021 г.: [в 3 частях]. Ч. 2

Creators	Кулик Борис Александрович
Organization	Российская академия наук
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2021
Collection	Общая коллекция
Subjects	Математическая логика; логический вывод; интересные следствия; алгебра кортежей; правило обобщения; минимальное следствие; проекция; элиминация атрибутов
UDC	510.6
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/id21-157
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 0.4 Mb

1