An N Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms

By Maksym Bortin

General purpose theorem provers provide sophisticated proof methods, and become valuable tools in, e.g. formal software development. Of particular interest here are proof systems with the LCF... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3832525025
• ISBN13: 9783832525026
• Release Date: June 2010
• Publisher: Logos Verlag Berlin
• Length: 235 Pages
• Weight: 0.90 lbs.
• Dimensions: 0.5" x 6.6" x 9.4"