Siefkes, Dirk (1992): Formalisieren und Beweisen
Title:
Formalisieren und Beweisen
Author(s):
Siefkes, Dirk
Year:
1992
Publisher:
Vieweg
Address:
Braunschweig
Concepts
