Integriertes automatisches und interaktives Beweisen: die Kalkülebene (1998)

by Martin Giese
Venue:Master’s thesis, Univ. Karlsruhe. http://i11www.ira.uka.de/~giese/da.ps.gz(May 09