Зведений каталог бібліотек Києва

• Класифікатори та каталоги
• Теория электронных вычислительных машин 5-го поколения (транспьютеров)

Программирование для электронных вычислительных машин 5-го поколения (транспьютеров). Алгоритмы и программы

Документи:

• Язык Пролог в пятом поколении ЭВМ [Текст] / Под ред. Ильинского Н.И. — Москва : Мир, 1988. — 501 с.