IMP -Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings

(No reviews yet) Write a Review
Internacional
$130.63
SKU:
9783540660866
Autor:
Neil V. Murray
Editorial:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Cover book

Product Overview

Importante: Este libro es importado y podría tener una demora de 30 días.

Titulo: Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings

Formato: Paperback

Autor: Neil V. Murray

Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Lenguaje: English

Páginas: 334

ISBN: 9783540660866

Reviews

(No reviews yet) Write a Review