Dieter Hofbauer and Ralf--Detlef Kutsche (1989): Grundlagen des maschinellen Beweisens
Title:
Grundlagen des maschinellen Beweisens
Author(s):
Dieter Hofbauer and Ralf--Detlef Kutsche
Year:
1989
Publisher:
Vieweg
Concepts
