Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
Editat de Revantha Ramanayake et al.
14 sep 2023
Paperback
Preț: 305.57 lei 381.96 lei
6-8 săpt.
-20%