Видання

Foundations of Informatics (FOI): International workshop


ID: 152756
Кількість показів: 171
дата змінення: 23.10.2015 23:51:06
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Видано:  закордоном
Місце знаходження:  Chisinau, Moldova


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





Тип
Назва документу
Автори
Рік видання
Джерело
1
Праці конференції
Analysis of Nominative Data Sets Structure


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
2015
Foundations of Informatics (FOI): International workshop
c.65-76
2
Праці конференції
Fundamental theorems of extensional untyped λ-calculus revisited


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Олександрович
2015
Foundations of Informatics (FOI): International workshop
т.1 c.168-179
3
Праці конференції
Institution for Pure First-Order Composition-Nominative Logic


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ченцов Олексій Ілліч
Нікітченко Микола Степанович
2015
Foundations of Informatics (FOI): International workshop
т.1 c.50-63
4
Праці конференції
Institution for Pure First-Order Composition-Nominative Logic


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
2015
Foundations of Informatics (FOI): International workshop
c.180-197
5
Праці конференції
Modal Logics of Partial Predicates without Monotonicity Restriction


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2015
Foundations of Informatics (FOI): International workshop
т.1 c.198-211
6
Праці конференції
Semantic Properties of Logics of Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2015
Foundations of Informatics (FOI): International workshop
т.1 c.180-197

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

Вгору