Електронний каталог
Класифікатори
519.7 Математична кібернетика
519.76 Семіотика. Математична теорія систем символів. Математична лінгвістика
Підтеми:
519.762 Синтаксичне вивчення систем символів
519.763 Тлумачення значень знакових систем
519.764 Дешифрування знакових систем
519.765 Математична лінгвістика в цілому. Загальні математичні дослідження мов
519.766 Моделі мов та мовних структур
519.767 Семантика мови: математичні аспекти
519.768 Математичні питання машинного перекладу
Інформаційно-пошукова система
'УФД/Бібліотека'