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

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

Price
HK$ 959
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 3 - 15

Our customers say:

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

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

More by Hantao Zhang

Show all

Mere med samme udgiver

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