Структурні підрозділи

Кафедра: Теорії та технології програмування


ID: 6739
Кількість показів: 2792
дата змінення: 25.11.2014 12:26:25
Ким змінено (ім'я): (kya) Юлія Костюченко

Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
English text parsing by means of error correcting automaton


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Марченко Олександр Олександрович
Анісімов Анатолій Васильович
Завадський Ігор Олександрович
2018
Lecture Notes in Computer Science
т.10859 c.281-289
2
Наукова стаття
Семантичні властивості логік загальних недетермінованих предикатів


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2017
Штучний інтелект
c.111-121
3
Праці конференції
A correctness proof for presentation software using Isabelle


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
Іванов Євген В'ячеславович
2016
13th International Scientific Conference “Theoretical and Applied Aspects of Program Systems Development” (TAAPSD’2016)
c.117-120
4
Праці конференції
A Formal Proof of Properties of a Presentation System using Isabelle


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
Іванов Є. А.
2017
IEEE First Ukraine Conference on Electrical and Computer Engineering (UkrCon’2017)
c.1155-1160
5
Наукова стаття
Algebras and logics of partial quasiary predicates


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Algebra and Discrete Mathematics
т.23 c.263-278
6
Праці конференції
An Approach To Formalization of an Extension of Floyd-Hoare Logic


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Криволап Андрій Володимирович
2017
International Conference ICTERI
c.504-523
7
Праці конференції
Authorship Attribution System


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Марченко Олександр Олександрович
Анісімов Анатолій Васильович
Никоненко Андрій Олександрович
2017
International Conference on Applications of Natural Language to Information Systems
c.227-234
8
Наукова стаття
Authorship attribution system


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Марченко Олександр Олександрович
Анісімов Анатолій Васильович
Никоненко Андрій Олександрович
2017
Lecture Notes in Computer Science
т.10260 c.227-231
9
Тези
Cистеми логічного виведення логік часткових предикатів безкванторних рівнів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2017
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.196-197
10
Тези
Finite automaton actions of free groups


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Федорова Марія Вікторівна
2016
Міжнародна математична конференція Groups and Actions: Geometry and Dynamicsю Конференція присвячена пам’яті В.І. Сущанського, Київ, 19 – 22 грудня 2016 року.
c.22

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

Вгору