Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings

Name: Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
ISBN: 9783030860585

by Das, Anupam, Negri, Sara

Marketplace Prices
New from $51.31

New
$51.31

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783030860585
ISBN: 3030860582
Publication Date: 2021
Publisher: Springer International Publishing AG

AUTHOR

Das, Anupam, Negri, Sara

SUMMARY

Das, Anupam is the author of 'Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings', published 2021 under ISBN 9783030860585 and ISBN 3030860582.

[read more]