TY  - BOOK
AU  - Ершов,Ю.Л.
AU  - Гончаров,С.С.
ED  - Ин-т математики СО АН СССР
TI  - Вычислительные системы: Сборник трудов Вып. 122, Прикладные аспекты математической логики 
PY  - 1987///
CY  - Новосибирск
PB  - Б. и.
KW  - Вычислительные системы
ER  -