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 to cart. $157.00, good condition, Sold by HaroldsBooks rated 5.0 out of 5 stars, ships from Corydon, IA, UNITED STATES, published 2006 by IOS Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good/No Jacket. 1586036254 Ex-Library "Series III: Computer and Systems Sciences-Vol. 200." Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows slight wear. 445 pages.
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.
