Michael a Mcrobbie
Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30 - August 3, 1996, Proceedings (Cade-13, International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-august 3, 1996 - P Michael a Mcrobbie

Name: Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30 - August 3, 1996, Proceedings (Cade-13, International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-august 3, 1996 - P
Price: 122.99 USD
Availability: OutOfStock
Author: Michael a Mcrobbie

Precio

$ 122,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 10 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30 - August 3, 1996, Proceedings (Cade-13, International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-august 3, 1996 - P

Michael a Mcrobbie

Presenting 46 revised papers from CADE-13, this text focuses on results in all aspects of automated deduction.

788 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	1 de julio de 1996
ISBN13	9783540615118
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	788
Dimensiones	156 × 234 × 39 mm · 1,08 kg
Lengua	Francés
Editor	Mcrobbie, Michael A.
Editor	Slaney, J.k.