Automated Mathematical Induction - H Zhang - Books - Springer - 9780792340102 - May 31, 1996
In case cover and title do not match, the title is correct

H Zhang
Automated Mathematical Induction Reprinted from JOURNAL OF AUTOMATED REASONING 16:1 edition

Price
Íkr 15,159
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 18 - Jul 2

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.

222 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released May 31, 1996
ISBN13 9780792340102
Publishers Springer
Pages 222
Dimensions 156 × 234 × 14 mm   ·   508 g
Language English  
Editor Hantao Zhang

Mere med samme udgiver

See all of H Zhang ( e.g. Hardcover Book )