Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings

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


Book Informaton

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

Author

Anupam Das; Sara Negri

Series

Lecture Notes in Computer Science

Volume

12842

Year of Publication

1st ed. 2021

Publisher

Springer International Publishing

Pages

XIX, 467

Language

en

ISBN

9783030860585, 9783030860592

ARI Id

1665336933054


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 34 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xix
1-1
3-19
20-37
38-55
56-73
74-91
93-93
95-111
112-128
129-146
147-164
165-165
167-186
187-199
200-217
218-235
236-249
250-265
266-278
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 34 entries