A Comparison of Mizar and Isar.

Markus Wenzel Freek 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