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