Automated Deduction - CADE-16 - Programmering - häftad (9783540662228)