Link to expertisefinder.com

1 expert in "automatic proof checking" found:

Profile photo of Jeffrey Zucker, expert at McMaster University

Jeffrey Zucker

Expert In:

  • Automatic proof checking
  • Computability over abstract algebras
  • Computation logic theory
  • Logical foundations of software documentation
View Profile

© | Expertise Finder | Toronto (Canada) | 1-888-978-5418 | info@expertisefinder.com | Home | Privacy | User Agreement

Powered by Link to expertisefinder.com