Ляшенко, Н.Н. <br/><br/>
Методы и алгоритмы индуктивного вывода / 
Н.Н. Ляшенко; Отв. ред.: В.М. Пономарев; АН СССР. Ленингр. ин-т информатики и автоматизации. 
 - Ленинград :  ЛИИАН,  1989. 
 - 127 с.  ил. 
<br/><br/> На обл. авт. не указан 
<br/><br/>Библиогр.: с. 125-127 
<br/><br/><label>Subjects--Index Terms: </label>Математическая индукция