Automated Deduction – Cade-16: 16th International Conference on Automated: New by | 5 Aug 2026New Trade paperback