Login / Signup

A Comparison of Mizar and Isar.

Markus WenzelFreek Wiedijk
Published in: J. Autom. Reason. (2002)
Keyphrases
  • computer assisted
  • information systems
  • face recognition
  • detection algorithm
  • databases
  • decision trees
  • case study
  • reinforcement learning
  • pattern recognition
  • signal processing
  • statistical analysis