Automath


Also found in: Encyclopedia, Wikipedia.

Au´to`math


n.1.One who is self-taught.
References in periodicals archive ?
By the way, the real pioneer of machine-assisted reasoning was deBruijn in Holland who invented his Automath system before this; I didn't know about it at the time.
It may be that the enterprise started with Automath ultimately continues to success.
Full browser ?