Бібліотека Київського столичного університету імені Бориса Грінченка

Головна

Спрощенний режим

Посібник користувача

Бази даних

Електронний каталог бібліотеки- результати пошуку

Вид пошуку

Електронний каталог бібліотеки

Каталог авторефератів та дисертацій

Грінченкознавство

Рідкісні та цінні видання

Українська Аудіокнига

Мережеві ресурси

Наукові періодичні видання Університету

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Пошуковий запит: (<.>K=логічний наслідок<.>)

Загальна кількість знайдених документів : 1

Нікітченко, М. С.
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк // Проблеми програмування : науковий журнал. - 2019. - № 1. - С. 3-13. - Бібліогр. в кінці ст. . - ISSN 1727-4907

Кл.слова (ненормовані):
логіка -- предикат -- логічний наслідок -- секвенційне числення
Дод.точки доступу:
Шкільняк, О. С.
Шкільняк, С. С.

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)