Automated Reasoning With Analytic Tableaux And Related Methods: 30Th International Conference, Tableaux 2021, Birmingham, Uk, September 6–9, 2021, ... (Lecture Notes In Computer Science, 12842)

Automated Reasoning With Analytic Tableaux And Related Methods: 30Th International Conference, Tableaux 2021, Birmingham, Uk, September 6–9, 2021, ... (Lecture Notes In Computer Science, 12842)

Springer
SKU:
9783030860585
|
ISBN13:
9783030860585
$97.68
(No reviews yet)
Condition:
New
Usually Ships in 24hrs
Current Stock:
Estimated Delivery by: | Fastest delivery by:
Adding to cart… The item has been added
Buy ebook
Description
  • | Author: Anupam Das, Sara Negri
  • | Publisher: Springer
  • | Publication Date: 7-Oct-21
  • | Number of Pages: 486 pages
  • | Language: English
  • | Binding: Paperback
  • | ISBN-10: 3030860582
  • | ISBN-13: 9783030860585
Additional Information
Author:
Anupam Das, Sara Negri
Publisher:
Springer
Publication Date:
7-Oct-21
Number of pages:
486 pages
Language:
English
Binding:
Paperback
ISBN-10:
3030860582
ISBN-13:
9783030860585
Related Products