Automated Deduction Cade-22

Deduction

Taschenbuch

ISBN-13: 978-3-642-02960-8

ISBN-10: 3-642-02960-4

(978-3-642)