Методы и алгоритмы индуктивного вывода /

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Ляшенко, Н.Н
Համատեղ հեղինակներ: Академия наук СССР, Ленинградский институт информатики и автоматизации АН СССР
Այլ հեղինակներ: Пономарев, В.М (Խմբագիր, ред.)
Ձևաչափ: Գիրք
Լեզու:Russian
Հրապարակվել է: Ленинград : ЛИИАН, 1989.
Խորագրեր:
Математическая индукция
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
LEADER 01042nam a2200241 a 4500
001 000424957
003 AM-YeHGA
005 20210831141509.0
008 050429s1989 ||| r 000 0 rus d
040 |a AM-YEHGA  |c AM-YeHGA 
041 0 |a rus 
100 1 |a Ляшенко, Н.Н. 
245 1 0 |a Методы и алгоритмы индуктивного вывода /  |c Н.Н. Ляшенко; Отв. ред.: В.М. Пономарев; АН СССР. Ленингр. ин-т информатики и автоматизации. 
260 |a Ленинград :  |b ЛИИАН,  |c 1989. 
300 |a 127 с.  |b ил. 
500 |a На обл. авт. не указан 
504 |a Библиогр.: с. 125-127 
653 0 |a Математическая индукция 
700 1 |a Пономарев, В.М.  |e ред.  |4 edt 
710 2 |a Академия наук СССР 
710 2 |a Ленинградский институт информатики и автоматизации АН СССР 
999 |c 162998 
952 |o 510.646  |p 120616102 

Նմանատիպ նյութեր