Клещев Александр Сергеевич

Публикации в базе данных Math-Net.Ru

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