Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Eric G. Aaron

Original record
Institution
Cornell University
Year
2000
Country
United States
MGP identifier
73569

Dissertation: Tactic-Based Modeling of Cognitive Inference on Logically Structured Notation

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy