Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли ; Перевод с англ. Г.В. Давыдова и др. ; Под ред. С.Ю. Маслова
Язык: русский.Выходные данные: М. : Наука, 1983Физическая характеристика: 358 с. ; 22 см.Серия: Математическая логика и основания математики Примечания: Перевод изд.: Syribolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee (New York etc., 1973).Содержание: В кн. также: Теория поиска вывода и обратный метод / С.Ю. Маслов, Г.Е. Минц. Алгоритм Британского музея может быть эффективнее метода резолюций / В.П. Оревков. О стратегиях метода резолюций и клаш-метода / С.Ю. Маслов Библиография: Библиогр.: с. 333-349; Библиогр. в конце глав; Алф. указ.: с. 350-358. Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж | 83-5/4195 (Просмотр полки(Открывается ниже)) | Доступно | 8766456-10 |
Перевод изд.: Syribolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee (New York etc., 1973)
Библиогр.: с. 333-349
Библиогр. в конце глав
Алф. указ.: с. 350-358
В кн. также: Теория поиска вывода и обратный метод / С.Ю. Маслов, Г.Е. Минц. Алгоритм Британского музея может быть эффективнее метода резолюций / В.П. Оревков. О стратегиях метода резолюций и клаш-метода / С.Ю. Маслов