8.0
Подписчики
Краткая биография автора
На нашем книжном сайте Вы можете скачать книги автора Р. Ли в самых разных форматах (epub, fb2, pdf, txt и многие другие). А так же читать книги онлайн и бесплатно на любом устройстве – iPad, iPhone, планшете под управлением Android, на любой специализированной читалке. Электронная библиотека КнигоГид предлагает литературу Р. Ли в жанрах .
Творчество Р. Ли
На нашем сайте представлена 1 книга автора Р. Ли. Самая популярная по мнению наших читателей "".
Математика
8.0
0
Математическая логика и автоматическое доказательство теорем
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем "искусственного интеллекта". Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автомат...
