GradNova

Home
Find Faculty
Universities
Research
Home
/
Universities
/
University of North Carolina at Chapel Hill
/

David A. Plaisted

D

David A. Plaisted

Research Professor

Computer Science, University of North Carolina at Chapel Hill

Research Interests

Logic Programming
Mechanical Theorem Proving
Term Rewriting Systems
Theoretical Computer Science

Academic Metrics

Links

Grants