We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

- 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings

part of the Lecture Notes in Computer Science series

Automated Reasoning with Analytic Tableaux and Related Methods Save 14% from RPP Save 14%
  • Language:
  • English
  • ISBN:
  • 9783030860585
  • Binding:
  • Paperback
  • Pages:
  • 467
  • Published:
  • August 31, 2021
  • Edition:
  • 12021
  • Dimensions:
  • 155x235x0 mm.
  • Weight:
  • 741 g.
Delivery: 2-4 weeks
Expected delivery: March 28, 2025

User ratings of Automated Reasoning with Analytic Tableaux and Related Methods



Others also bought..
Find similar books
The book Automated Reasoning with Analytic Tableaux and Related Methods can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.