Охотников О. А.

h1

Библиография

Рубрики

Вид издания

Публичные страницы	Название	Описание	Вид издания	Год	Роли
	Формализация математики в системе дедуктирования PC MIZAR	Охотников О. А. Формализация математики в системе дедуктирования PC MIZAR / О. А. Охотников // Новые информационные технологии в исследовании дискретных структур : доклады Всероссийской конференции. - Екатеринбург, 1996. - С. 143-144.	доклад	1996	Автор