Product Overview
Importante: este producto es importado y puede tener una demora de 30 días. 
Titulo: Automated Reasoning With Analytic Tableaux And Related Meth
Formato: Blanda
Autor: Nicola Olivetti
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Lenguaje: English
ISBN: 9783540730989