Handbook of Tableau Methods - Marcello D\'agostino - Libros - Springer - 9780792356271 - 31 de marzo de 1999
En caso de que portada y título no coincidan, el título será el correcto

Marcello D\'agostino
Handbook of Tableau Methods 1999 edition

Precio
Mex$ 3.616
sin IVA

Pedido desde almacén remoto

Entrega prevista 28 de jul. - 7 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Marcello D\'agostino

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

Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on.

670 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 31 de marzo de 1999
ISBN13 9780792356271
Editores Springer
Páginas 670
Dimensiones 156 × 234 × 36 mm   ·   1,19 kg
Lengua Inglés  
Editor D'Agostino, M.
Editor Gabbay, Dov M.
Editor Hahnle, Reiner
Editor Posegga, J.

Más del mismo editor

Ver todo de Marcello D\'agostino ( Ej. Hardcover Book y Paperback Book )