Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Mathematical Induction
Hantao . Ed(S): Zhang
€ 121.31
FREE Delivery in Ireland
Description for Automated Mathematical Induction
Paperback. Editor(s): Zhang, Hantao. Num Pages: 222 pages, biography. BIC Classification: HPL; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 12. Weight in Grams: 377.
It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan [5]. This common structure can be exploited in the search for particular proofs. 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. In contrast, a method provides a more declarative explanation of the proof by means of preconditions. Each method has associated effects. The execution of the effects simulates the application ... Read more
It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan [5]. This common structure can be exploited in the search for particular proofs. 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. In contrast, a method provides a more declarative explanation of the proof by means of preconditions. Each method has associated effects. The execution of the effects simulates the application ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer Netherlands
Number of pages
222
Condition
New
Number of Pages
222
Place of Publication
Dordrecht, Netherlands
ISBN
9789401072502
SKU
V9789401072502
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Mathematical Induction