Automated Mathematical Induction - H Zhang - Libros - Springer - 9780792340102 - 31 de mayo de 1996
En caso de que portada y título no coincidan, el título será el correcto

H Zhang
Automated Mathematical Induction Reprinted from JOURNAL OF AUTOMATED REASONING 16:1 edition

Precio
$ 122,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 de jun. - 3 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 31 de mayo de 1996
ISBN13 9780792340102
Editores Springer
Páginas 222
Dimensiones 156 × 234 × 14 mm   ·   508 g
Lengua Inglés  
Editor Hantao Zhang

Mere med samme udgiver

Ver todo de H Zhang ( Ej. Hardcover Book )