Joseph D. Hendrix, Ph.D.
Affiliations: | 2008 | University of Illinois, Urbana-Champaign, Urbana-Champaign, IL |
Area:
Computer ScienceGoogle:
"Joseph Hendrix"Parents
Sign in to add mentorJose Meseguer | grad student | 2008 | UIUC | |
(Decision procedures for equationally based reasoning.) |