Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Stephan Schulz

Original record
Institution
Not recorded
Year
Not recorded
Country
Germany
MGP identifier
205932

Dissertation: Learning Search Control Knowledge for Equational Deduction

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 1

NameInstitutionYearStudents
Petar VukmirovicVrije Universiteit Amsterdam20220
Genealogy