Моделирование рассуждений и проверка правильности программ
Алешина, Наталия Альбертовна, Анисов, Александр Михайлович, Быстров, Петр Иванович, Герасимова, И. А., Меськов, В. С., Смирнов, В. А., Шалак, В. И.
Логика и компьютер. Моделирование рассуждений и проверка правильности программ, [Текст], Академия наук СССР ; [редкол.: акад. И. М. Макаров (пред.) и др. ; предисл. акад. И. М. Макаров ; науч. ред. д-р филос. наук Е. Д. Смирнова]
Москва :
Наука ,
1990 .-
238, [1] с. .-
