Зарегистрироваться
Восстановить пароль
FAQ по входу

Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем

  • Файл формата djvu
  • размером 3,29 МБ
  • Добавлен пользователем , дата добавления неизвестна
  • Отредактирован
Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем
М.: Наука, 1983. — 360 с.
Книга посвящена детальному изложению круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем искусственного интеллекта.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация