A866490-ОХФ Калошина, Инна Павловна. Автоматическое доказательство теорем и его математические модели [Текст] / И. П. Калошина. - Москва : [б. и.], 1996. - 56, [1] с. - ISBN [Б. и.] : 10.00 р.
Рубрики: автоматика.кибернетика--системы автоматического управления Кл.слова (ненормированные): искусственный интеллект -- теорем доказательства -- Ферма теорема -- математические модели Экземпляры всего: 1 ОХФ (1) |