Heuristiken zum Beweisen von Gleichungen
@mastersthesis{Au-96-a, author = {Autexier, Serge}, title = {Heuristiken zum Beweisen von Gleichungen}, type = {Diploma Thesis}, school = {FB 14 Informatik, Universit\"at des Saarlandes}, address = {Postfach 15 11 50, 66041 Saarbr\"ucken}, month = {may}, year = {1996}, }