Гаврилова Татьяна Леонидовна

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

1. Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. Ч. 3. Модель доказательства
   
   Пробл. управл., 2006, № 6,  68–71
2. Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. Ч. 2. Модель математического диалекта
   
   Пробл. управл., 2006, № 5,  68–73
3. Мультидисциплинарная система управления информационными ресурсами различных уровней общности
   
   Пробл. управл., 2006, № 4,  64–68
4. Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. Ч. 1. Общее описание модели
   
   Пробл. управл., 2006, № 4,  32–35
5. Анализ подходов к решению проблемы правильности математических знаний
   
   Пробл. управл., 2005, № 3,  13–19