Automated Mathematical Induction

Reprinted From

Editor: HantaoZhang

Kluwer Academic Publishers Group (Netherlands), 1996
Hardback, 236 pages
Size: 234x156 mm
ISBN: 9780792340102
ISBN-10: 0792340108

Our price: £77.00

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

Automated Mathematical Induction

This text documents advances in the understanding of automated theorem provers that are capable of proofs by mathematical induction. The book provides a tutorial study of the Boyer-Moore theorem prover, and novel ideas that could be used to build theorem provers more powerful than this one.

Related links:

Hantao Zhang
Artificial intelligence
Applications of computing
Computing and information technology
Kluwer Academic Publishers Group

More information from Wikipedia:

Hantao Zhang
© 2006-2008 Eruditor Ltd and its partners

Search

Whole catalogue
History of art & design styles: c 1600 to c 1800

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z