TY  - BOOK
AU  - Гончаров,С.С.
AU  - Косарев,Ю.Г.
ED  - Ин-т математики СО АН СССР
TI  - Вычислительные системы: Сборник трудов Вып. 107, Логико-математические основы проблемы МОЗ 
PY  - 1985///
CY  - Новосибирск
PB  - Ин-та математики СО АН СССР
KW  - Вычислительные системы
ER  -