Клещев, Александр Сергеевич (д-р физ.-мат. наук; зав. отделом). Концепция банка математических знаний для научных исследований. [Текст]. Ч. 2. Интерактивное формирование интуитивных доказательств / А. С. Клещев ; ст. представлена к публ. О. П. Кузнецовым> // Проблемы управления. - 2008. - N 5. - С. 26-30. - Библиогр.: с. 30 (2 назв. ) . - ISSN 1819-3161
Рубрики: Математика Математическая кибернетика Техника Автоматизация оборудования Кл.слова (ненормированные): интуитивные доказательства -- модель интуитивного доказательства -- целевое утверждение -- научные исследования -- структурное доказательство -- модульное доказательство -- банки знаний -- банк математических знаний -- БМЗ -- системные процессы -- интеграторы Аннотация: Статья завершает цикл из двух статей, посвященных концепции системы компьютерной поддержки научной деятельности в области математики. Приведены модель интуитивного доказательства, требования к средствам поддержки исследователей и интеграторов знаний, а также к системным процессам. Доп.точки доступа: Кузнецов, О. П. (член редколлегии) \.\ |
Клещев, Александр Сергеевич (студент 3-го курса). Правовые аспекты договора энергосбережения и его регулирование ГК РФ [Текст] / А. С. Клещев> // Актуальные проблемы российского права. - 2013. - № 2. - С. 156-161. - Библиогр.: с. 161 (6 назв. ) . - ISSN 1994-1471
Рубрики: Право Гражданское право в целом Кл.слова (ненормированные): юриспруденция -- договоры -- энергоснабжение -- договоры энергоснабжения -- энергия -- договоры присоединения -- снабжение электроэнергией Аннотация: Автор рассматривает правовые аспекты и проблемы договора энергосбережения, природу и его содержание. Описываются различные точки зрения отечественных и зарубежных цивилистов на данный договор. Исследуется место энергии в системе объектов гражданского права, анализируется судебная практика по спорам, связанным с данным договором. Рассматривается вопрос баланса прав и обязанностей присоединяющейся по договору энергоснабжения стороны. Нет сведений об экземплярах (Источник в БД не найден) |