ЛОГИЧЕСКИЕ методы в информатике, [Сб. ст.]
П10/2760 русский (rus)/ЛОГИЧЕСКИЕ методы в информатике : [Сб. ст.] / Науч. ред. чл.-кор. РАН Ю.Л. Ершов, чл.-кор. АН ВШ С.С. Гончаров.ЛОГИЧЕСКИЕ методы в информатике : [Сб. ст.] / Науч. ред. чл.-кор. РАН Ю.Л. Ершов, чл.-кор. АН ВШ С.С. Гончаров.ЛОГИЧЕСКИЕ методы в информатике : [Сб. ст.].Новосибирск/Ин-т математики/, 1993 (вып. дан. 1994) ( ). - Ин-т математики, 1993 (вып. дан. 1994). - [1], 176 с. : ил. ; 20 см. - (Вычислительные системы / Рос. акад. наук. Сиб. отд-ние. Ин-т математики ; Вып. 148).ЛОГИЧЕСКИЕ методы в информатике : [Сб. ст.]. Новосибирск, 1993 (вып. дан. 1994) .
Библиогр. в конце ст. Библиогр. в конце ст.
Библиогр. в конце ст. Библиогр. в конце ст.