Automated Reasoning with Analytic Tableaux and Related Methods Lecture Notes in Computer Science, nr. 11714 Editat de Serenella Cerrito et al. 14 aug 2019 Paperback Preț: 332.39 lei 415.48 lei 6-8 săpt. -20%
