Product Overview
Importante: este producto es importado y puede tener una demora de 30 días. 
Titulo: Automated Deduction - Cade-17 : David Mcallester
Formato: Blanda
Autor: David McAllester
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Lenguaje: English
ISBN: 9783540676645