Recomienda este artículo a tus amigos:
Automated Mathematical Induction Hantao Zhang Softcover reprint of the original 1st ed. 1996 edition
Precio
€ 113,49
Pedido desde almacén remoto
Entrega prevista 5 - 19 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Hantao Zhang
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Automated Mathematical Induction
Hantao 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.
227 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 28 de septiembre de 2011 |
| ISBN13 | 9789401072502 |
| Editores | Springer |
| Páginas | 222 |
| Dimensiones | 160 × 240 × 12 mm · 331 g |
| Editor | Hantao Zhang |
![Cover for Hantao Zhang · Logic in Computer Science (Paperback Book) [2024 edition] (2025)](https://imusic.b-cdn.net/images/item/original/155/9789819798155.jpg?hantao-zhang-2025-logic-in-computer-science-paperback-book&class=scaled&v=1730088631)
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2027-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-hardcover-book&class=scaled&v=1786374320)
![Cover for Handbuch Organisationssoziologie (Hardcover Book) [1. Aufl. 2021 edition] (2026)](https://imusic.b-cdn.net/images/item/original/191/9783658159191.jpg?2026-handbuch-organisationssoziologie-hardcover-book&class=scaled&v=1605099239)
