Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings : 10501 by Renate A. Schmidt - Paperback

AED620.00
(0) Write a Review
SKU:
9783319669038
UPC:
9783319669038

Product Description

ISBN: 9783319669038
TITLE: Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings : 10501
AUTHOR: Renate A. Schmidt
PUBLISHER: Springer International Publishing
PUBLISHER DATE: 4 Sep 2017

Other Details

ISBN:
9783319669038
Author:
Renate A. Schmidt
Publisher:
Springer International Publishing
Publisher Date:
Published:4 Sep 2017
Book Format:
Paperback