Книга
110-а 6737

Богомолов, Анатолий Михайлович.
Автоматическое доказательство теорем: для студентов механико-математического факультета / А. М. Богомолов, А. А. Курилов [и др.]; Саратовский гос. ун-т. им. Н.Г. Чернышевского. – Саратов : Изд-во Саратовского ун-та, 1988. – 50 с. : рис.
Библиогр.:с.48-49(17 назв.).



1236752 ОФ