Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
Editat de Renate A. Schmidt et al.
31 aug 2017
Paperback
Preț: 406.54 lei 508.17 lei
6-8 săpt.
-20%
