Automated Reasoning with Analytic Tableaux and Related Methods Lecture Notes in Computer Science, nr. 15980 Editat de Gian Luca Pozzato et al. 7 noi 2025 Paperback Preț: 301.03 lei 376.29 lei 43-57 zile -20%
