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