Електронний каталог
Класифікатори
004.855 Навчання і індуктивне виведення
004.855.2 Граматичне виведення
Інформаційно-пошукова система
'УФД/Бібліотека'