Automated Reasoning with Analytic Tableaux and Related Methods
32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
Beschrijving uitgever
This open access book constitutes the proceedings of the 32nd International Conference, TABLEAUX 2023, held in Prague, Czech Republic, during September 18–21, 2023.
GENRE
Computers en internet
UITGEGEVEN
2023
13 september
TAAL
EN
Engels
LENGTE
507
Pagina's
UITGEVER
Springer Nature Switzerland
GROOTTE
50
MB