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ț: 314.50 lei 393.12 lei
6-8 săpt.
-20%