00599nam a2200085 4500 220314s1965 ru ||||| |||| 00| 0 rus d 518.5+164 Алгоритм машинного поиска естественного логического вывода в исчислении высказываний / Н. А. Шанин, Г. В. Давыдов, С. Ю. Маслов и др. ; Акад. наук СССР. Матем. ин-т им. В. А. Стеклова. Ленингр. отд-ние. Ленинград : Наука. [Ленингр. отд-ние] , 1965. 0 4 udc 0 5185164 0 455116 CPL CPL GEN 2022-03-14 0 518.5+164 2022-30348 2022-03-14 00:00:00 3R32932 2022-03-14 BK 0 4 udc 0 5185164 0 455118 CPL CPL GEN 2022-03-14 0 518.5+164 2022-30350 2022-03-14 00:00:00 3R32860 2022-03-14 BK 572281 572279