Methods of Cut-Elimination - Trends in Logic - Matthias Baaz - Libros - Springer - 9789400703193 - 17 de enero de 2011
En caso de que portada y título no coincidan, el título será el correcto

Matthias Baaz
Methods of Cut-Elimination - Trends in Logic 2011 edition

Precio
$ 122,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 10 - 27 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Matthias Baaz

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

Aún no valorado

También disponible como:

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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 17 de enero de 2011
ISBN13 9789400703193
Editores Springer
Páginas 290
Dimensiones 159 × 239 × 24 mm   ·   589 g
Lengua Inglés  

Mas por Matthias Baaz

Mostrar todo

Más del mismo editor

Ver todo de Matthias Baaz ( Ej. Paperback Book y Hardcover Book )