ZebraWords.com - The Definition of 'Automath', Synonyms of 'Automath' & More on 'Automath'

No results could be found matching the exact term automath in the thesaurus.

Did you mean:

Dictionary Results for automath:

1. The Collaborative International Dictionary of English v.0.48

Automath \Au"to*math\, n. [Gr. ?; ? self + ?, ?, to learn.]
   One who is self-taught. [R.] --Young.
   [1913 Webster] Automatic

2. The Free On-line Dictionary of Computing (30 December 2018)

AUTOMATH

    A very high level language for writing
   proofs, from Eindhoven, Netherlands.

   ["The Mathematical Language AUTOMATH, Its Usage and Some of
   its Extensions", N.G. deBruijn, in Symp on Automatic
   Demonstration, LNM 125, Springer 1970].

   (2001-07-09)

Common Misspellings >

Most Popular Searches: Define Misanthrope, Define Pulchritudinous, Define Happy, Define Veracity, Define Cornucopia, Define Almuerzo, Define Atresic, Define URL, Definitions Of Words, Definition Of Get Up, Definition Of Quid Pro Quo, Definition Of Irreconcilable Differences, Definition Of Word, Synonyms of Repetitive, Synonym Dictionary, Synonym Antonyms. See our main index and map index for more details.