Видання

Advanced Computer Information Technologies (ACIT): Міжнародна конференція


ID: 213598
Кількість показів: 126
дата змінення: 25.10.2018 19:46:19
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Видано:  закордоном
Місце знаходження:  Ceske Budejovice, Czech Republic


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





Тип
Назва документу
Автори
Рік видання
Джерело
1
Праці конференції
Numerical simulation to control the spread of pollutants in areas with complex surface


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
Вергунова Ірина Миколаївна
Вергунов Віктор А.
Rosemann I.
2020
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
c.69-72
2
Праці конференції
Relations of logical consequence in program-oriented logics of quasiary predicates


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2020
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
c.505-508
3
Праці конференції
Sequent calculus for a program-oriented predicate logic over complex-named data


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Теоретичної кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2020
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
c.497-500
4
Наукова стаття
Information and Analytical Support for Organizing Commodity Flow on Environmental and Economic Basis


Економічний факультет
Екологічного менеджменту та підприємництва
Купалова Галина Іванівна
Гончаренко Наталія Володимирівна
Хрутьба Юлія Сергіївна
2019
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
c.374-379
5
Праці конференції
Program Logics Based on Algebras with the Composition of Predicate Complement


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2019
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
c.285-288
6
Праці конференції
Satisfiability Problems in Quasiary Program Logics


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Тимофєєв Валентин Георгійович
2018
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
c.175-178
7
Тези
Non-classical properties of program-oriented logics


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
2017
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
c.129-130

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

Вгору