Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker

Informatiker

von Dieter Hofbauer

Taschenbuch

ISBN-13: 978-3-528-04718-4

ISBN-10: 3-528-04718-6

Vieweg+Teubner Verlag · 1989