ИСТИНА

• Охват: Всероссийская с международным участием
• Даты проведения: 16-20 октября 2012
• Место проведения: Белгород, Russia
• Число участников: 100
• Число докладчиков: 70
• Все конференции этой группы
• Добавил в систему: Воронов Михаил Владимирович

Доклады:

• 2012 Автоматическая коррекция ошибок сочетаемости слов в текстах (Устный)
• Авторы: Большакова Е.И., Азимов А.Е.

• 2012 Алгебраическая система на решетке типов для верификации и рефакторинга
• Авторы: Шурлин М.Д., Махортов С.Д.

• 2012 Методологические аспекты онтологического представления технологических знаний
• Автор: Воронов М.В.

• 2012 Трансформации схем оценки уверенности в логическом выводе (Устный)
• Автор: Моросанова Н.А.