Buchumschlag

Секвенційні числення композиційно-номінотивних логік квазіарних предикатів

Gespeichert in:

Bibliographische Detailangaben
Datum:	2015
1. Verfasser:	Shkilniak, S.S.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2015
Schlagworte:
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/50
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Секвенційні числення композиційно-номінотивних логік квазіарних предикатів
von: Шкільняк, С.С.
Veröffentlicht: (2012)

Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
von: Шкільняк, С.С.
Veröffentlicht: (2012)

Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю
von: Шкільняк, О.С., et al.
Veröffentlicht: (2022)

Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня
von: Шкільняк, О.С.
Veröffentlicht: (2011)

Семантичні моделі та секвенційні числення транзиційних модальних логік
von: Шкільняк, О.С.
Veröffentlicht: (2013)

Композиційно-номінативні логіки квазіарних предикатів та багатозначні логіки
von: Шкільняк, С.С.
Veröffentlicht: (2012)

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)

Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
von: Шкільняк, О.С., et al.
Veröffentlicht: (2017)

Ієрархія композиційно-номінативних логік
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)

Відношення логічного наслідку в логіках квазіарних предикатів
von: Шкільняк, О.С.
Veröffentlicht: (2016)

Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
von: Шкільняк, С.С.
Veröffentlicht: (2011)

Властивості відношень логічного наслідку в логіках квазіарних предикатів
von: Шкільняк, С.С.
Veröffentlicht: (2013)

Спектр секвенційних числень першопорядкових композиційно-номінативних логік
von: Шкільняк, С.С.
Veröffentlicht: (2013)

Композиційно-номітативні логіки часткових та неоднозначних предикатів
von: Шкільняк, С.С.
Veröffentlicht: (2014)

Повнота секвенційних числень модальних логік немонотонних часткових предикатів
von: Шкільняк, О.С., et al.
Veröffentlicht: (2016)

Композиційно-номінативні логіки предикатів над даними з неповною інформацією
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)

Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів
von: Доценко, В.А.
Veröffentlicht: (2008)

Композиційно-номінативні логіки з непрямим іменуванням
von: Rossada, T.V., et al.
Veröffentlicht: (2015)

Семантичні властивості п’ятизначних логік
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)

Композиційно-номінативні мультимодальні логіки
von: Шкільняк, О.С., et al.
Veröffentlicht: (2011)

Алгебри загальних недетермінованих предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)

Виникнення та інтерпретація тризначних логік Кліні
von: Шишацька, О.В.
Veröffentlicht: (2010)

Секвенціальні системи виведення для багатозначних логік
von: Пинько, О.П.
Veröffentlicht: (2003)

Композиційно-номінативні логіки безкванторних рівнів
von: Шкільняк, С.С., et al.
Veröffentlicht: (2016)

Використання дескриптивних логік в проблематиці WEB-сервісів
von: Захарова, О.В.
Veröffentlicht: (2015)

Композиційно-номінативні логіки з непрямим іменуванням
von: Россада, Т.В., et al.
Veröffentlicht: (2012)

Композиційно-номінативні логіки над ієрархічними даними
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)

Конструктивний алгоритм зворотного методу для числення висловлювань
von: Доценко, В.А.
Veröffentlicht: (2007)

Конструктивний алгоритм зворотного методу для числення висловлювань
von: Dotsenko, V. A.
Veröffentlicht: (2018)

Операторне числення Вейля в узагальнених алгебрах Пелі–Вінера
von: Lozynska, V. Ya.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Veröffentlicht: (2024)

Композиційно-номінативні модальні логіки функціонально-екваційного рівня
von: Шкільняк, О.С.
Veröffentlicht: (2010)

Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
von: Нікітченко, М.С., et al.
Veröffentlicht: (2014)

Визначення ступеня семантичної подібності з використанням апарату дескриптивних логік
von: Захарова, О.В.
Veröffentlicht: (2021)

Стиснення двійкових послідовностей на основі системи числення Штерна-Броко
von: Глинчук, Л.Я.
Veröffentlicht: (2010)

Баркарольний принцип композиційно-жанрової організації «Берестечка» Ліни Костенко
von: Саєнко, В.
Veröffentlicht: (2021)

Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2019)

Вплив контексту на актуалізацію семного складу прикметників-предикатів
von: Кардащук, О., et al.
Veröffentlicht: (2002)

МЕТОД ТА АЛГОРИТМ МНОЖЕННЯ У ДВОВИМІРНІЙ СИСТЕМІ ЧИСЛЕННЯ МАТРИЧНОГО РАДЕМАХЕРА
von: Круцкевич, О. Д., et al.
Veröffentlicht: (2021)

Логічний наслідок та його формалізації в композиційно-номінативних логіках
von: Шкільняк, С.С.
Veröffentlicht: (2012)

Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
von: Панченко, Т.В.
Veröffentlicht: (2008)