Automated Reasoning with Analytic Tableaux and Related Methods Lecture Notes in Computer Science, nr. 14278 Editat de Revantha Ramanayake et al. 14 sep 2023 Paperback Preț: 317.57 lei 396.96 lei 43-57 zile -20%
