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