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.

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