Swaha D. Miller, Ph.D.
Affiliations: | 2005 | University of North Carolina, Chapel Hill, Chapel Hill, NC |
Area:
Computer ScienceGoogle:
"Swaha Miller"Parents
Sign in to add mentor| David A. Plaisted | grad student | 2005 | UNC Chapel Hill | |
| (OSHL -U: A first order theorem prover using propositional techniques and semantics.) | ||||