Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
логіка предикатів першого порядку, логика предикатов первого порядка
Документи:
- Розв'язання задачі структурної оптимізації фрези на основі мультиагентного підходу (Англ. мова) [Текст] / В. Л. Аносов, Л. М. Богданова, В. М. Колодяжний, В. Д. Літовка // Проблеми машинобудування. – 2019. – Т. 22, № 1. – С. 53-59.
- Давидюк, А. В. Застосування логіки предикатів для верифікації артефактів кіберзахисту під час проектування систем критичного призначення [Текст] / А. В. Давидюк, В. Ю. Зубок // Реєстрація, зберігання і обробка даних. – 2021. – Т. 23, № 4. – С. 37-46.
- Палагин, А. В. Концептуальные графы и семантические сети в системах обработки естественно-языковой информации [Текст] / А. В. Палагин, С. Л. Кривой, Н. Г. Петренко // Математичні машини і системи. – 2009. – № 3. – С. 67-79.
- Прохоров, А. В. Алгоритм унификации в методе резолюций для логики предикаторов [Текст] / А. В. Прохоров, В. П. Прохоров // Радиоэлектроника и информатика. – 2017. – № 4. – С. 53-57.
|