000			00937nam a22002531i 4500
001			000030272
003			RuMoIPM
005			20260408125008.0
008			110826s1979----ru | c rus
040			_aRuMoIPM _brus _ercr
041	0		_arus
044			_aru
080			_a517.5
080			_a510.6
080			_a510.5
245	1		_aИсследования по теории алгорифмов и математической логике _b[Сб. статей] _cАН СССР, ВЦ ; [Отв. ред. А. А. Марков, В. И. Хомич]
260			_aМосква _bНаука _c1979
300			_a133 с. _bил.
504			_aБиблиогр. в конце ст.
700	1		_aМарков, Андрей Андреевич _cст. _eред.
700	1		_aХомич, Валентин Иванович _eред.
710	2		_aАкадемия наук СССР _bВычислительный центр
942			_cBK
999			_c30272 _d30272