Vinkkaa tuotetta kavereillesi:
Automated Mathematical Induction Reprinted from JOURNAL OF AUTOMATED REASONING 16:1 edition
H Zhang
Hinta
€ 101,49
Tilattu etävarastosta
Arvioitu toimitus pe - ma 19. - 29. syys
Lisää iMusic-toivelistallesi
Eller
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 | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
| Julkaisupäivämäärä | perjantai 31. toukokuuta 1996 |
| ISBN13 | 9780792340102 |
| Tuottaja | Springer |
| Sivujen määrä | 222 |
| Mitta | 156 × 234 × 14 mm · 508 g |
| Kieli | English |
| Toimittaja | Hantao Zhang |