RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Клещев Александр Сергеевич

В базах данных Math-Net.Ru
Публикаций: 11
Научных статей: 11
Цитированных статей: 9
Ссылок в Math-Net.Ru: 34

Статистика просмотров:
Эта страница:632
Страницы публикаций:1215
Полные тексты:445
Списки литературы:135
профессор
доктор физико-математических наук
E-mail:

http://www.mathnet.ru/rus/person55843
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
1. Постановки практически полезных задач интеллектуальной деятельности
А. С. Клещев, Е. А. Шалфеева
Дальневост. матем. журн., 16:1 (2016),  44–61
2. Операционная модель интуитивных доказательств
А. С. Клещев
Пробл. управл., 2011, № 1,  2–7
3. Концепция банка математических знаний для научных исследований. Ч. 2. Интерактивное формирование интуитивных доказательств
A. C. Клещев
Пробл. управл., 2008, № 5,  26–30
4. Концепция банка математических знаний для научных исследований. Ч. 1. Метафора
A. C. Клещев
Пробл. управл., 2008, № 4,  2–6
5. Модель аналогии между математическими доказательствами
А. С. Клещев
Пробл. управл., 2007, № 1,  20–24
6. Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. Ч. 3. Модель доказательства
Т. Л. Гаврилова, А. С. Клещев
Пробл. управл., 2006, № 6,  68–71
7. Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. Ч. 2. Модель математического диалекта
Т. Л. Гаврилова, А. С. Клещев
Пробл. управл., 2006, № 5,  68–73
8. Мультидисциплинарная система управления информационными ресурсами различных уровней общности
И. Л. Артемьева, Т. Л. Гаврилова, В. В. Грибова, А. С. Клещев, М. А. Князева, Н. Ю. Никифорова, В. А. Орлов, М. Ю. Черняховская, Е. А. Шалфеева
Пробл. управл., 2006, № 4,  64–68
9. Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. Ч. 1. Общее описание модели
Т. Л. Гаврилова, А. С. Клещев
Пробл. управл., 2006, № 4,  32–35
10. Управление проектированием и реализацией пользовательского интерфейса на основе онтологии
В. В. Грибова, А. С. Клещев
Пробл. управл., 2006, № 2,  58–62
11. Анализ подходов к решению проблемы правильности математических знаний
Т. Л. Гаврилова, А. С. Клещёв
Пробл. управл., 2005, № 3,  13–19

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017