книги Компьютеры и Интернет Операционные системы и сети Сети

Automated Theorem Proving

Код 961670

Нет в продаже

Аннотация к книге "Automated Theorem Proving"

Automated theorem proving (ATP) or automated deduction, currently the most well-developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1307-6739-6
Объём: 68 страниц
Масса: 123 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

Просмотренные товары