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

E Equational Theorem Prover

Код 1161827

Нет в продаже

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 03.03.2020; планируемая отправка: 04.03.2020

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 10.03.2020; планируемая отправка: 11.03.2020

Аннотация к книге "E Equational Theorem Prover"

High Quality Content by WIKIPEDIA articles! E is a modern, high performance theorem prover for full first-order logic with equality. It is based on the equational superposition calculus and uses a purely equational paradigm. It has been integrated into other theorem provers and it has been among the best-placed systems in several theorem proving competitions. E was developed by Stephan Schulz, originally in the Automated Reasoning Group at TU Munich. The system is based on the equational...

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

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

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

Товар находится в категориях

Показать все категории

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