G. Veenker (1986): Maschinelles Beweisen I
Title:
Maschinelles Beweisen I
Author(s):
G. Veenker
Year:
1986
Concepts
