Login / Signup
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