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
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.