Prev
Next
More
(
) Hofbauer, Dieter: Grundlagen des maschinellen Beweisens. - Braunschweig : Vieweg, 1991. - X, 172 S. ( Kollat: X, 172 S.)
Literaturverz. S. 159 - 163
ISBN: 3-528-14718-0
Sign.: II 137.920 * Inv.Nr.: 83.101 * Standort: Magazin