Automated Deduction - CADE-25 - Algoritmer & datastrukturer - häftad (9783319214009)