Чень, Ч. creator Ли, Р. Маслов, Сергей Юрьевич ред. text ru Москва Наука 1983 monographic rus eng 358 с. ил. Ч. Чень, Р. Ли ; пер. с англ. Г. В. Давыдова [и др.] ; под ред. С. Ю. Маслова Пер. изд.: Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee (New-York, etc., 1973) В кн. также: Теория поиска вывода и обратный метод / С.Ю. Маслов, Г.Е. Минц. Алгоритм Британского музея может быть эффективнее метода резолюций / В.П. Оревков. О стратегиях метода резолюций и клаш-метода / С.Ю. Маслов Библиогр.: с. 333-349 Библиогр. в конце гл. Алф. указ.: с. 350-358 510.6-37 RuMoBEN 230210 20260521124918.0 000030642 rus