Del 14132 - Lecture Notes in Computer Science
Automated Deduction – CADE 29
29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
Häftad, Engelska, 2023
599 kr
Skickas inom 5-8 vardagar
Brigitte Pientka – författare
Visar alla böcker från författaren Brigitte Pientka.
1 produkt
1 produkt