Логика и компьютер: Моделирование рассуждений и проверка правильности программ/

by Алешина, Н. А. Наталия Альбертовна, Анисов, А. М. Александр Михайлович, Быстров, П. И. Петр Иванович, Герасимова, И. А., Меськов, В. С.
Published 1990