Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Support the actual Mathematics Genealogy Project by making a donation, so that they can run their services again, instead of this temporary static unofficial mirror.

Michael Handley Sims

Original record
Institution
Rutgers University, New Brunswick
Year
1990
Country
United States
MGP identifier
105491

Dissertation: IL: An Artificial Intelligence Approach to Theory Formation in Mathematics

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy