Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker

insbesondere

von Hans Jürgen Ohlbach

Taschenbuch

ISBN: 978-3-662-55651-1

ISBN-10: 3-662-55651-0

Springer Vieweg · 2017