Automated Reasoning With Analytic Tableaux And Related Meth

(No reviews yet) Write a Review
Internacional
$400.00
SKU:
9783540730989
Autor:
Nicola Olivetti
Editorial:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Cover book

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

Reviews

(No reviews yet) Write a Review