Зведений каталог бібліотек Харкова
Ефимова, И. А. О кванторной алгебре предикатных операций [Текст] / Харьковский национальный университет радиоэлектроники, г.Харьков, Украина // Искусственный интеллект. — 2006. — №4. — С. 603-612.
- Анотація:
В статье приведена систематизация алгебр предикатных операций. Проанализирована булева алгебра предикатных операций, алгебра предикатных операций с константами и переменными, дизъюнктивно -конъюктивная алгебра предикатных операций.
- Є складовою частиною документа:
Искусственный интеллект [Текст]. — 2006. — №4.
- Теми документа
