Зведений каталог бібліотек Миколаєва
Класифікатори та каталоги
Загальні проблеми математичної логіки. Основи математики
Конструктивний підхід. Конструктивна математика
Документи:
Конструктивно-продукционная модель графового представления текста [Текст] / В.И. Шинкаренко, Е.С. Куропятник // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 63-72.