Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings : 11714 by Serenella Cerrito - Paperback

Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings : 11714 by Serenella Cerrito - Paperback

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

Product Description

ISBN: 9783030290252
TITLE: Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings : 11714
AUTHOR: Serenella Cerrito
PUBLISHER: Springer Nature Switzerland AG
PUBLISHER DATE: 14 Aug 2019

Other Details

ISBN:
9783030290252
Author:
Serenella Cerrito
Publisher:
Springer Nature Switzerland AG
Publisher Date:
Published:14 Aug 2019
Book Format:
Paperback

Related Products

Popular Trending Products