Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Editat de Serenella Cerrito et al.
14 aug 2019
Paperback
Preț: 342.46 lei 428.07 lei
6-8 săpt.
-20%