Search

David Plaisted Phones & Addresses

  • New Ipswich, NH

Publications

Isbn (Books And Publications)

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis

View page
Author

David A. Plaisted

ISBN #

3528155744

Wikipedia

David Plaisted

View page

David Alan Plaisted is a computer science professor at the University of North Carolina at Chapel Hill. Plaisted's research interests include term rewriting ...

David Plaisted from New Ipswich, NH Get Report