Automated Deduction CADE 28: 28th International Conference on Deduction, Virtual Event, July 1215, 2021, Proceedings: 12699 (Lecture Notes in Computer Science, 12699)
Compare webshops (1)
Shop
Price