Видання

Handbook of the World Congress and School on Universal Logic


ID: 130497
Кількість показів: 208
дата змінення: 02.12.2014 14:52:25
Ким змінено (ім'я): (admin) Адміністратор НДЧ
Видано:  закордоном
Місце знаходження:  Rio de Janejro, Brasil

Значення SNIP видання в Scopus
SNIP: |


Публікації у виданні





Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
Extended Classical Logics with Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2018
Handbook of the World Congress and School on Universal Logic
c.538-539
2
Наукова стаття
Logic and Computer Programming


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
2018
Handbook of the World Congress and School on Universal Logic
c.68-70
3
Наукова стаття
Methodological Principles for Program Logic Construction


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
2018
Handbook of the World Congress and School on Universal Logic
c.511-512
4
Тези
Composition-Nominative Logics as Institutions


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
2015
Handbook of the World Congress and School on Universal Logic
c.370-371
5
Матеріали конференції
Logics of Non-Deterministic Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2015
Handbook of the World Congress and School on Universal Logic
т.5 c.329-330
6
Матеріали конференції
Modal Logics of Partial Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2015
Handbook of the World Congress and School on Universal Logic
т.5 c.271
7
Тези
Philosophical Aspects of Programming Theory Development


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
2015
Handbook of the World Congress and School on Universal Logic
c.210-211
8
Праці конференції
Completeness Theorems for Program-oriented Algebra-based Logics of Partial Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Handbook of the World Congress and School on Universal Logic
c.227
9
Праці конференції
Composition-Nominative Logics of Partial Quasiary Functions and Predicates


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Handbook of the World Congress and School on Universal Logic
c.335-337
10
Праці конференції
Developing a Hierarchy of Composition-Nominative Logics


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Handbook of the World Congress and School on Universal Logic
c.135-137

Повернення до списку

Вгору