–
Доклады на научных конференциях
-
- 2013 LP-структуры представления знаний в объектно-ориентированных системах
- Авторы: Махортов С.Д., Шурлин М.Д.
- IV Всероссийская конференция с международным участием "Знания-Онтологии-Теории", 8-10 октября 2013 г., Институт математики им. С.Л. Соболева СО РАН, г. Новосибирск, Россия, 8-10 октября 2013
-
- 2012 Алгебраическая система на решетке типов для верификации и рефакторинга
- Авторы: Махортов С.Д., Шурлин М.Д.
- Тринадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2012 , Белгород, Россия, 16-20 октября 2012