Нумерология по дате рождения

Поиск книг

Название:
Автор:
Издатель:
Год издания:
ISBN:
> Новые отзывы
> Новые оценки
The Reader (1856) by Ferdinand Heilbuth

Automated Theorem Proving

Оценка пользователей:

Автор: Frederic P. Miller
Издательство:
Год издания: 2010
Страниц: 68
ISBN: 9786130767396

Аннотация:

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.

Посмотреть в магазинах:

Ozon: подробнее
My-shop: искать
Books: искать

Другие сервисы поиска:

Findbook: искать

Книгу "Automated Theorem Proving" (Frederic P. Miller) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.

Оставьте свой отзыв о книге:

Ваше имя:
Отзыв (5 слов и более):
Проверочный код ():
(c) KBD.RU