TY  - BOOK
AU  - Чень,Ч.
AU  - Ли,Р.
AU  - Маслов,Сергей Юрьевич
TI  - Математическая логика и автоматическое доказательство теорем
T2  - Математическая логика и основания математики
PY  - 1983///
CY  - М.
PB  - Наука
KW  - математическая логика
KW  - rurkp
KW  - Теоремы - Доказательство на вычислительных машинах
KW  - резолюций метод
KW  - логика высказываний
KW  - логические следствия
KW  - логика первого порядка
KW  - Эрбрана теорема
KW  - искусственный интеллект
KW  - семантические деревья
KW  - алгоритмы унификации
KW  - резолюция семантическая
KW  - лок-резолюция
KW  - резолюция линейная
KW  - резолюция с равенством
KW  - парамодуляция
KW  - Правица процедура
KW  - доказательства процедуры
KW  - V-резолюции процедура
KW  - псевдосемантические деревья
KW  - анализ программ
KW  - синтез программ
KW  - алгоритм синтеза программ
KW  - теория поиска вывода
KW  - обратный метод
KW  - монографии
N1  - В кн. также: Теория поиска вывода и обратный метод / С. Ю. Маслов, Г. Е. Минц. Алгоритм Британского музея может быть эффективнее метода резолюций / В. П. Оревков. О стратегиях метода резолюций и клаш-метода / С.); Перевод изд.: Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee (New York etc., 1973); Библиогр.: с. 333-349 и в конце глав; Алф. указ.: с. 350-358; Получено из INTERNET
UR  - http://sun.tsu.ru/limit/2016/000119917/000119917.pdf
ER  -