Automated Deduction - CADE 29 Lecture Notes in Computer Science, nr. 14132 Editat de Brigitte Pientka et al. 3 sep 2023 Paperback Preț: 318.00 lei 397.50 lei 38-44 zile -20%