Automated Reasoning

Automated

Taschenbuch

EAN=ISBN-13: 978-3-540-82751-1

ISBN-10: 3-540-82751-X

(978-3-540)