Подколзин Александр Сергеевич

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

1. Введение в логические процессы. Алгоритмический язык ЛОС
   
   Интеллектуальные системы. Теория и приложения, 29:4 (2025),  8–89
2. Введение в логические процессы. Общая схема функционирования решателя
   
   Интеллектуальные системы. Теория и приложения, 29:3 (2025),  6–52
3. Введение в логические процессы. Представление задач в решателе
   
   Интеллектуальные системы. Теория и приложения, 29:2 (2025),  5–138
4. Об алгоритмизации знаний
   
   Интеллектуальные системы. Теория и приложения, 25:4 (2021),  193–204
5. Доклады семинара «Теория автоматов»
   
   Интеллектуальные системы. Теория и приложения, 22:4 (2018),  137–142
6. Исследование логических процессов путем компьютерного моделирования
   
   Интеллектуальные системы. Теория и приложения, 20:3 (2016),  164–168
7. О синтезе минимальных источников
   
   Дискрет. матем., 8:4 (1996),  37–43
8. Компьютерный решатель математических задач
   
   Докл. РАН, 335:4 (1994),  427–429
9. Система автоматического решения задач по элементарной алгебре
   
   Дискрет. матем., 6:4 (1994),  35–57
10. Об организации баз знаний, ориентированных на автоматическое решение задач
    
    Дискрет. матем., 3:3 (1991),  13–30
11. О решении систем автоматных уравнений
    
    Дискрет. матем., 2:1 (1990),  94–103
12. Об основных направлениях в теории однородных структур
    
    Дискрет. матем., 1:3 (1989),  19–38
13. О времени существования конфигураций в однородных структурах
    
    Ж. вычисл. матем. и матем. физ., 15:3 (1975),  737–748