Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
П
программа логическая
Документи:
Валиев, М. К.
Системы агентов, управляемых логическими программами: сложность верификации [Текст] / М. К. Валиев, М. И. Дехтярь, А. Я. Диковский // Программирование. – 2009. – № 5. – С. 37-56.
Інформаційно-пошукова система
'УФД/Бібліотека'
