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ț: 305.38 lei 381.73 lei 43-57 zile -20%
