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

Automated Proof Checking

Код 1012730

Нет в продаже

Аннотация к книге "Automated Proof Checking"

High Quality Content by WIKIPEDIA articles! Automated proof checking is the process of using software for checking proofs for correctness. It is one of the most developed fields in automated reasoning. Automated proof checking differs from automated theorem proving in that automated proof checking simply mechanically checks the formal workings of an existing proof, instead of trying to develop new proofs or theorems itself. Because of this, the task of automated proof verification is much...

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

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

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

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

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