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