Automated Mathematical Induction - Hantao Zhang - Knjige - Springer - 9789401072502 - 28. septembra 2011
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 115,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 28. okt - 11. nov
Prejemajte obvestila o novih izdajah izvajalca Hantao Zhang

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 28. septembra 2011
ISBN13 9789401072502
Založniki Springer
Strani 222
Dimenzije 160 × 240 × 12 mm   ·   331 g
Urednik Hantao Zhang

Več od Hantao Zhang

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh Hantao Zhang