Del 11716 - Lecture Notes in Computer Science
Automated Deduction – CADE 27
27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Häftad, Engelska, 2019
1 189 kr
Skickas inom 10-15 vardagar
27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
1 189 kr
Skickas inom 10-15 vardagar
749 kr
Skickas inom 10-15 vardagar
409 kr
Tillfälligt slut