Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings : 2796 by Marta Cialdea Mayer - Paperback

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings : 2796 by Marta Cialdea Mayer - Paperback

AED303.69
(0) Write a Review
SKU:
9783540407874
UPC:
9783540407874

Product Description

ISBN: 9783540407874
TITLE: Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings : 2796
AUTHOR: Marta Cialdea Mayer
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 3 Sep 2003

Other Details

ISBN:
9783540407874
Author:
Marta Cialdea Mayer
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Date:
Published:3 Sep 2003
Book Format:
Paperback

Related Products

Popular Trending Products