Automated Mathematical Induction - Hantao Zhang - Kirjat - Springer - 9789401072502 - keskiviikko 28. syyskuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hantao Zhang

Hinta
NOK 1.199

Tilattu etävarastosta

Arvioitu toimitus ke - to 16. - 24. heinä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

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

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 28. syyskuuta 2011
ISBN13 9789401072502
Tuottaja Springer
Sivujen määrä 222
Mitta 160 × 240 × 12 mm   ·   331 g
Toimittaja Hantao Zhang
Näytä kaikki

Lisää tuotteita Hantao Zhang

Katso kaikki joka sisältää Hantao Zhang ( Esim. Paperback Book )