- Мы снова онлайн. Но сайт нуждается в поддержке.
- Вы можете поддержать нас криптовалютой ZEC: t1bkM72pLFRZyn5iPJkk2ccGv12Ly3CbyNY
Аннотация
Книга посвящена детальному изложению круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем искусственного интеллекта.
Категории: Математика
Формат: djvu
К сожалению, у нас нет описания данной книги. Если у вас есть, то вы можете помочь проекту. Напишите в коментариях ваше описание книги и мы его обязательно добавим на сайт.
Издательство:
Наука
Город:
Москва
Год издания:
1983
Прочитано страниц:
9089
Распознаных страниц:
3530
Количество загрузок:
217
Размер файлов:
3.29 MBФайлы для скачивания доступны в течении 4х часов после создания ссылок.
Не закрывайте это окно до окончания скачивания, иначе вам прийдется заново делать запрос на файлы.
Получить ссылку на файлы
Warning! Нет данных для отображения
Warning! Вы не можете просматривать данную страницу
Облако тегов
Новинки сайта
Выполнено:
0.1259 секунд
Идея и разработка - Олег Гуняков
Техническая библиотека t-library.net
Основано на БукТориум 2.0. Все права на серверную часть принадлежат разработчику. Материалы размещаются на сайте либо по согласию правообладателей, либо открыто доступные в интернете. Если какие либо материалы нарушают ваши авторские права - напишите нам, и мы разберемся в этом.