Automated Reasoning with Analytic Tableaux and Related Methods
32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
Description de l’éditeur
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
Informatique et Internet
SORTIE
2023
13 septembre
LANGUE
EN
Anglais
LONGUEUR
507
Pages
ÉDITIONS
Springer Nature Switzerland
DÉTAILS DU FOURNISSEUR
Springer Science & Business Media LLC
TAILLE
50
Mo