Automated Mathematical Induction - Hantao Zhang - Books - Springer - 9789401072502 - September 28, 2011
In case cover and title do not match, the title is correct

Automated Mathematical Induction Softcover reprint of the original 1st ed. 1996 edition

Hantao Zhang

Price
₪ 370
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 15 - 25

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Automated Mathematical Induction Softcover reprint of the original 1st ed. 1996 edition

It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan [5]. A proof plan has two complementary components: a proof method and a proof tactic. By prescribing the structure of a proof at the level of primitive inferences, a tactic [11] provides the guarantee part of the proof.

227 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 28, 2011
ISBN13 9789401072502
Publishers Springer
Pages 222
Dimensions 160 × 240 × 12 mm   ·   331 g
Editor Hantao Zhang
Show all

More by Hantao Zhang

See all of Hantao Zhang ( e.g. Paperback Book )