Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
Editat de Brigitte Pientka et al.
3 sep 2023
Paperback
Preț: 280.55 lei 350.69 lei
39-44 zile
-20%
Brigitte Pientka