000			01005nam a2200229 a 4500
001			000424957
003			AM-YeNLA
005			20190426122318.0
008			050429s1989 ||| r 000 0 rus d
040			_aAM-YeHGA
041	0		_arus
100	1		_aЛяшенко, Н.Н.
245	1	0	_aМетоды и алгоритмы индуктивного вывода / _cН.Н. Ляшенко; Отв. ред.: В.М. Пономарев; АН СССР. Ленингр. ин-т информатики и автоматизации.
260			_aЛенинград : _bЛИИАН, _c1989.
300			_a127 с. _bил.
500			_aНа обл. авт. не указан
504			_aБиблиогр.: с. 125-127
653	0		_aМатематическая индукция
700	1		_aПономарев, В.М. _eред. _4edt
710	2		_aАкадемия наук СССР
710	2		_aЛенинградский институт информатики и автоматизации АН СССР
999			_c363353 _d363353