Видання

KDS + MeL: Міжнародні конференції


ID: 132057
Кількість показів: 114
дата змінення: 02.12.2014 02:24:05
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Видано:  в Україні
Місце знаходження:  Київ


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





Тип
Назва документу
Автори
Рік видання
Джерело
1
Тези
’Feature vecors’ in grouping information problem in applied mathematics: vectors and matrixws


Факультет комп'ютерних наук та кібернетики
НДС проблем системного аналізу
Системного аналізу і теорії прийняття рішень
Донченко Володимир Степанович
Зінько Тарас Петрович

2012
KDS + MeL: Міжнародні конференції
т.1 c.18
2
Матеріали конференції
Секвенційні системи логічного виведення композиційно-номінативних модальних логік


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2012
KDS + MeL: Міжнародні конференції
c.30-31
3
Праці конференції
Системи логічного виведення секвенційного типу в логіках часткових предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2012
KDS + MeL: Міжнародні конференції
c.28-29

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

Вгору