Зведений каталог бібліотек Харкова
Шкільняк, О. С. Секвенційні числення темпоральних і мультимодальних логік часткових предикатів [Текст] / О.С. Шкільняк // Искусственный интеллект. — 2013. — С. 55-66.
- Анотація:
У статті досліджено транзиційні композиційно-номіеативні модальні логіки. Для таких логік розглянуто властивості відношення логічного наслідку для множин спеціфікованих станами формул.
- Є складовою частиною документа:
Искусственный интеллект [Текст] // Искусственный интеллект ; Нац. акад. наук Украины, Ин-т проблем искусств. интеллетка - Донецк : ІПШІ "Наука і освіта" , 2003. — 2013.
- Теми документа
