Видання

Штучний інтелект. Інтелектуальні системи: матеріали Міжнародної науково-технічної конференції (Кацивелі, Крим, 2013)


ID: 127985
Кількість показів: 129
дата змінення: 25.11.2014 20:00:46
Ким змінено (ім'я): (cyb8) Ксенія Протасова
Видано:  в Україні
Місце знаходження:  Кацивелі, Крим

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


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





Тип
Назва документу
Автори
Рік видання
Джерело
1
Тези
Транзиційні композиційно-номінативні модальні логіки


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Шкільняк Оксана Степанівна
2013
Штучний інтелект. Інтелектуальні системи: матеріали Міжнародної науково-технічної конференції (Кацивелі, Крим, 2013)
c.37–39
2
Праці конференції
Секвенційні числення логік квазіарних предикатів першого порядку


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2013
Штучний інтелект. Інтелектуальні системи: матеріали Міжнародної науково-технічної конференції (Кацивелі, Крим, 2013)
c.40-43

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

Вгору