Automated Mathematical Induction - H Zhang - Livros - Springer - 9780792340102 - 31 de maio de 1996
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
R$ 656,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de set - 12 de out
Receba avisos sobre novos lançamentos de H Zhang

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 31 de maio de 1996
ISBN13 9780792340102
Editoras Springer
Páginas 222
Dimensões 156 × 234 × 14 mm   ·   508 g
Idioma Inglês  
Editor Hantao Zhang

Mais da mesma editora

Ver tudo de H Zhang