What is the definition of Automath? | Dictionary.net

AUTOMATH

\ˈɔːtəmˌaθ], \ˈɔːtəmˌaθ], \ˈɔː_t_ə_m_ˌa_θ]\

Definitions of AUTOMATH

2010 - New Age Dictionary Database
1913 - Webster's Revised Unabridged Dictionary
1985 - The Free On-line Dictionary of Computing

Sort: Oldest first

One who is self-taught.

2010 - New Age Dictionary Database
By Oddity Software

One who is self-taught.

1913 - Webster's Revised Unabridged Dictionary
By Noah Webster.

A very high level language for writingproofs, from Eindhoven, Netherlands.["The Mathematical Language AUTOMATH, Its Usage and Some ofits Extensions", N.G. deBruijn, in Symp on AutomaticDemonstration, LNM 125, Springer 1970].

1985 - The Free On-line Dictionary of Computing
By Denis Howe

Word of the day

Inseparately

Inseparably.

View More

Nearby Words