Grundlagen Des Maschinellen Beweisens: Eine Einfuhrung Fur Informatiker Und Mathematiker

Maschinellen

von Dieter Hofbauer

Taschenbuch

ISBN: 978-3-528-14718-1

ISBN-10: 3-528-14718-0

Vieweg Verlagsgesellschaft · 1991