GradNova

Logic Programming

1 faculty research Logic Programming on GradNova.

D

David A. Plaisted

Research Professor

Computer Science

University of North Carolina at Chapel Hill

Logic Programming

Mechanical Theorem Proving

Term Rewriting Systems

Theoretical Computer Science