Automated Deduction - CADE-22 - Programmering - ebok (9783642029592)