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