Login / Signup

Improving the Performance of Automated Forward Deduction System EnCal.

Kazunori NishiJingde ChengKazuo Ushijima
Published in: ISHPC (1997)
Keyphrases
  • semi automated
  • computer aided
  • fully automated
  • theorem proving
  • automated theorem provers
  • real time
  • real world
  • feature selection
  • case study
  • face recognition
  • inference rules
  • automated analysis