Введение в логические процессы. Алгоритмический язык ЛОС
А. С. Подколзин

Список литературы
1.	Подколзин А. С., “Введение в логические процессы. Представление задач в решателе”, Интеллектуальные системы. Теория и приложения, 29:2 (2025), 5–138
2.	Подколзин А. С., “Введение в логические процессы. Общая схема функционирования решателя”, Интеллектуальные системы. Теория и приложения, 29:3 (2025), 6–52
3.	А.С.Подколзин, Компьютерное моделирование логических процессов, т. 1, Архитектура и языки решателя задач, Физматлит, Москва, 2008, 1024 с.
4.	А.С.Подколзин, Компьютерное моделирование логических процессов, т. 2, Опыт обучения компьютерного решателя задач: логические приемы, алгебра множеств, комбинаторика и элементарная алгебра, ВИНИТИ РАН, Москва, 2015, 1153 с.
5.	А.С.Подколзин, Компьютерное моделирование логических процессов, т. 3, Опыт обучения компьютерного решателя задач: математический анализ, дифференциальные уравнения и элементарная геометрия, ВИНИТИ РАН, Москва, 2015, 1320 с.
6.	А.С.Подколзин, Компьютерное моделирование логических процессов, т. 4, Опыт обучения компьютерного решателя задач: аналитическая геометрия, линейная алгебра, теория вероятностей, комплексный анализ и другие разделы, ВИНИТИ РАН, Москва, 2017, 969 с.
7.	А.С.Подколзин, Компьютерное моделирование логических процессов, т. 5, Опыт обучения компьютерного решателя задач: элементарные физика и химия, шахматы, ВИНИТИ РАН, Москва, 2019, 938 с.
8.	А.С.Подколзин, Компьютерное моделирование логических процессов, т. 6, Опыт обучения компьютерного решателя задач: понимание естественного языка и анализ рисунков, ВИНИТИ РАН, Москва, 2019, 757 с.
9.	А.С.Подколзин, Компьютерное моделирование логических процессов, т. 7, Автоматическое создание приемов логической системы: классификация приемов решателя, логический ассемблер, компилятор спецификаций, создание тестовых приемов и доводка приемов, ВИНИТИ РАН, Москва, 2021, 739 с.
10.	А.С.Подколзин, Компьютерное моделирование логических процессов, т. 8, Автоматическое создание приемов логической системы: база теорем, характеризация теорем, создание спецификаций приемов, ВИНИТИ РАН, Москва, 2021, 515 с.
11.	А.С.Подколзин, Компьютерное моделирование логических процессов, т. 9, Автоматическое создание приемов логической системы: логический вывод в базе теорем, ВИНИТИ РАН, Москва, 2022, 1494 с.