Головна
Авторизація
Прізвище
№ читательского билета
 

Бази даних


Статті, доповіді, тези- результати пошуку

Вид пошуку
Каталог книг
Каталог книг НМетАУ (до 2022 року)
Періодичні видання (друковані)
Статті, доповіді, тези
Рідкісні та цінні видання
Охоронні документи
Мережеві ресурси
Зона пошуку
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Пошуковий запит: <.>K=логическое наследствие<.>
Загальна кількість знайдених документів : 1
1.


    Нікітченко, М. С.
    Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення / М. С. Нікітченко, О. С. Шкільня, С. С. Шкільняк // Проблеми програмування : науковий журнал. - 2020. - № 2-3. - С. 182-197. - Бібліогр. в кінці ст.
УДК
004.42:510.69
Рубрики: Комп'ютерні програми
   Компьютерные программы
   Логістичні системи
   Логические системы
Кл.слова (ненормовані):
логіка -- логика -- частковий предикат -- частичный предикат -- логічний наслідок -- логическое наследствие -- секвенційне числення -- секвенциальное исчисление -- коректність -- корректность -- повнота -- полнота


Дод.точки доступу:
Шкільня, О. С.; Шкільняк, С. С.

Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)

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