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