Proof technology aims at integrating proof processing into industrial design and verifications tools. The chapters in this book deal with: the benefits and technical challenges of sharing formal mathematics among interactive theorem provers; proof normalization for various axiomatic theories; and more.
Read More
Proof technology aims at integrating proof processing into industrial design and verifications tools. The chapters in this book deal with: the benefits and technical challenges of sharing formal mathematics among interactive theorem provers; proof normalization for various axiomatic theories; and more.
Read Less
Add this copy of Proof Technology and Computation to cart. $27.66, like new condition, Sold by Hay-on-Wye Booksellers rated 4.0 out of 5 stars, ships from Hereford, UNITED KINGDOM, published 2006 by Sage Publications Ltd.
Add this copy of Proof Technology and Computation to cart. $69.15, like new condition, Sold by Hay-on-Wye Booksellers rated 4.0 out of 5 stars, ships from Hereford, UNITED KINGDOM, published 2006 by Sage Publications Ltd.
Add this copy of Proof Technology and Computation (Nato Science, 200) to cart. $116.80, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2006 by SAGE Publications Ltd.
Add this copy of Proof Technology and Computation (Nato Science, 200) to cart. $162.85, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 2006 by SAGE Publications Ltd.
