везде Расширенный поиск
книги Наука, техника, медицина Техника Теоретические основы Теория упругости Теория машин и механизмов

Jesse Russell Ronald Cohn

Larch Prover

Код 2505534

  • ISBN: 978-5-5124-1456-9
Бумажная книга

Нет в продаже

Сообщить о появлении

Аннотация к книге "Larch Prover"

High Quality Content by WIKIPEDIA articles! Larch Prover, or LP for short, is an interactive theorem proving system for multisorted first-order logic. It is currently used at MIT and elsewhere to reason about designs for circuits, concurrent algorithms, hardware, and software. Unlike most theorem provers, which attempt to find proofs automatically for correctly stated conjectures, LP is intended to assist users in finding and correcting flaws in conjectures — the predominant activity in the early stages of the design process.

Оставить замечание о найденной опечатке Версия для печати

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

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

ISBN: 978-5-5124-1456-9

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

Математика ГОСТы, стандарты Отраслевая экономика

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

Как загубить собственный бизнес: вредные советы предпринимателям
Как загубить собственный бизнес: вредные советы... бумажная книга
Константин Бакшт
Нет в продаже
-10%
Все лгут. Поисковики, Big Data и Интернет знают о вас все
Все лгут. Поисковики, Big Data и Интернет знают... бумажная книга
Сет Стивенс-Давидовиц
12.45 USD 11.2 USD
В корзину
Огонь и агония
Огонь и агония бумажная книга
Михаил Веллер
9.91 USD
В корзину
Глубокое обучение для поисковых систем
Глубокое обучение для поисковых систем бумажная книга
Томмазо Теофили
20.37 USD
В корзину
Селфи. Почему мы зациклены на себе и как это
Селфи. Почему мы зациклены на себе и как это бумажная книга
Уилл Сторр
Нет в продаже
Философия Haier: Перерождение 2.0
Философия Haier: Перерождение 2.0 бумажная книга
Цао Янфэн
34.75 USD
В корзину