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

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

AED361.19
(0) Write a Review
SKU:
9783319669014
UPC:
9783319669014

Product Description

ISBN: 9783319669014
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 AG
PUBLISHER DATE: 31 Aug 2017

Other Details

ISBN:
9783319669014
Author:
Renate A. Schmidt
Publisher:
Springer International Publishing AG
Publisher Date:
Published:31 Aug 2017
Book Format:
Paperback

Related Products

Popular Trending Products