Automated Mathematical Induction - Hantao Zhang - Bøger - Springer - 9789401072502 - 28. september 2011
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Hantao Zhang

Pris
R 2.410

Bestilles fra fjernlager

Forventes klar til forsendelse 12. - 18. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 28. september 2011
ISBN13 9789401072502
Forlag Springer
Antal sider 222
Mål 160 × 240 × 12 mm   ·   331 g
Klipper/redaktør Hantao Zhang
Vis alle

Mere med Hantao Zhang

Se alt med Hantao Zhang ( f.eks. Paperback Bog )