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