Automated Reasoning with Analytic Tableaux and Related Methods
30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
We couldn't estimate the reading time for this book.
Author
Publication
2021 - Springer International Publishing AG
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783030860585
- ISBN-103030860582
- Better World Books9783030860585
- Open LibraryOL33963011M
Classifications
- LCCQA75.5-76.95
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!