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

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