Automated Reasoning with Analytic Tableaux and Related Methods Lecture Notes in Computer Science, nr. 15980 Editat de Gian Luca Pozzato et al. 28 sep 2025 Paperback Preț: 317.79 lei 397.24 lei 6-8 săpt. -20%
