Methods of Cut-Elimination - Trends in Logic - Matthias Baaz - Livros - Springer - 9789400703193 - 17 de janeiro de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

Methods of Cut-Elimination - Trends in Logic 2011 edition

Matthias Baaz

Preço
€ 111,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 14 - 25 de ago

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

Também disponível como:

Methods of Cut-Elimination - Trends in Logic 2011 edition

Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs).

296 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 17 de janeiro de 2011
ISBN13 9789400703193
Editoras Springer
Páginas 290
Dimensões 159 × 239 × 24 mm   ·   589 g
Idioma English  
Mostrar tudo

Mais por Matthias Baaz

Ver tudo de Matthias Baaz ( por exemplo Paperback Book e Hardcover Book )