Tell your friends about this item:
Automated Mathematical Induction Reprinted from JOURNAL OF AUTOMATED REASONING 16:1 edition
H Zhang
Price
Ft 37,012
excl. VAT
Ordered from remote warehouse
Expected delivery Jul 18 - 30
Our customers say:
Add to your iMusic wish list
Automated Mathematical Induction Reprinted from JOURNAL OF AUTOMATED REASONING 16:1 edition
H Zhang
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 |
