Swaha D. Miller, Ph.D.

Affiliations: 
2005 University of North Carolina, Chapel Hill, Chapel Hill, NC 
Area:
Computer Science
Google:
"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.)