Master's thesis | @MastersThesis{AutexierDipl96, ... | Masterarbeit - German
Autexier, Serge
Heuristiken zum Beweisen von Gleichungen
Universität des Saarlandes, 1996
Siekmann
Basin
Completed
1
May
2024
Max-Planck-Institut für Informatik
Programming Logics Group
experts only
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@MASTERSTHESIS{AutexierDipl96,
AUTHOR = {Autexier, Serge},
TITLE = {Heuristiken zum Beweisen von Gleichungen},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1996},
TYPE = {Master's thesis}
}
Entry last modified by Christine Kiesel, 03/12/2010