Del 15943 - Lecture Notes in Computer Science
Automated Deduction – CADE 30
30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
Häftad, Engelska, 2025
599 kr
Skickas inom 10-15 vardagar
Som standard sorteras produkter på sökresultat- och kategorisidor efter relevans och popularitet. Du kan välja att sortera produkterna på ett flertal andra sätt.
Läs mer härSom standard sorteras produkter på sökresultat- och kategorisidor efter relevans och popularitet. Du kan välja att sortera produkterna på ett flertal andra sätt.
Läs mer här30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
599 kr
Skickas inom 10-15 vardagar