|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2006 |
1. |
Т. Л. Гаврилова, А. С. Клещев, “Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. Ч. 3. Модель доказательства”, Пробл. управл., 2006, № 6, 68–71 |
5
|
2. |
Т. Л. Гаврилова, А. С. Клещев, “Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. Ч. 2. Модель математического диалекта”, Пробл. управл., 2006, № 5, 68–73 |
6
|
3. |
И. Л. Артемьева, Т. Л. Гаврилова, В. В. Грибова, А. С. Клещев, М. А. Князева, Н. Ю. Никифорова, В. А. Орлов, М. Ю. Черняховская, Е. А. Шалфеева, “Мультидисциплинарная система управления информационными ресурсами различных уровней общности”, Пробл. управл., 2006, № 4, 64–68 |
1
|
4. |
Т. Л. Гаврилова, А. С. Клещев, “Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. Ч. 1. Общее описание модели”, Пробл. управл., 2006, № 4, 32–35 |
6
|
|
2005 |
5. |
Т. Л. Гаврилова, А. С. Клещёв, “Анализ подходов к решению проблемы правильности математических знаний”, Пробл. управл., 2005, № 3, 13–19 |
3
|
|