–
Доклады на научных конференциях
-
- 2005 Automated First Order Natural Deduction
- Авторы: Болотов A.E., Бочаров В.А., Горчаков А.Е., Шангин В.О.
- 2nd Indian International Conference on Artificial Intelligence, Pune, India, Индия, 2005
-
- 2003 Proof-searching algorithm in first order classical natural deduction calculus
- Авторы: Бочаров В.А., Болотов А.Е., Горчаков А.Е., Шангин В.О.
- 2th International Congress of Logic, Methodology and Philosophy of Science., Oviedo (Spain), Испания, 2003
-
- 1995 Алгоритм поиска вывода для натурального классического исчисления высказываний.
- Авторы: Болотов A.E., Бочаров В.А., Горчаков А.Е.
- 11 Международная конференция. Логика, методология, философия науки, Москва - Обнинск, Россия, 1995