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