Mizar's Soft Type System.

Published in: TPHOLs (2007)

Keyphrases

learning environment
computer assisted
cooperative
pattern recognition
multiple types
website
search algorithm
pairwise
artificial neural networks
mobile devices
mobile robot