Математическая логика и автоматическое доказательство теорем
Чень, Ч.
Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли ; пер. с англ. Г. В. Давыдова [и др.] ; под ред. С. Ю. Маслова. — Москва : Наука, 1983. — 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
[ SYS NUM: 30642 ]
Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли ; пер. с англ. Г. В. Давыдова [и др.] ; под ред. С. Ю. Маслова. — Москва : Наука, 1983. — 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
[ SYS NUM: 30642 ]