Title: Wissensbasierte Verfahren zur Synthese mathematischer Beweise
Subjects: Computer algorithms, Expert systems (Computer science)