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ț: 303.68 lei 379.61 lei
38-44 zile
-20%
Brigitte Pientka