Клещев, А. С. Модель аналогии между математическими доказательствами [Текст] / А. С. Клещев ; ст. представлена к публ. О. П. Кузнецовым // Проблемы управления. - 2007. - N 1. - С. 20-24. - Библиогр.: с. 25 (6 назв.). - 2; Модель аналогии между доказательствами. - 2; Обобщение доказательств. - 2; Обнаружение аналогии и построение доказательства целевой теоремы. - 2; Генерация лемм с использованием аналогии. - 2; Генерация аналогичных теорем и их доказательств
Рубрики: Математика--Математическая кибернетика Кл.слова (ненормированные): аналогия -- доказательства -- обобщение доказательств -- математическая практика -- модель математической практики -- леммы -- генерация лемм -- теоремы аналогичные Доп.точки доступа: Кузнецов, О. П. (член редколлегии) \.\ Имеются экземпляры в отделах: всего 1 : з.п. (1) Свободны: з.п. (1) |