Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of AUTOMATH

 
Matching Terms:  automat, automata, automata theory, automate, automated, automated engineering design, automated grouping system, automated retroactive minimal moderation, automated teller, automated teller machine, automated testing, automatic, automatic baud rate detection, automatic choke, automatic data processing, automatic data processing system, automatic drive, automatic firearm, automatic hyphenation, automatic mathematical translation, automatic network routing, automatic number identification, automatic pilot, automatic pistol, automatic repeat request, automatic rifle, automatic send receive, automatic sequence controlled calculator, automatic teller, automatic teller machine, automatic transmission, automatic washer, automatically, automatically programmed tools, automation, automatische rechenplanfertigung, automatise, automatism, automatize, automaton, automatonlike, automatous, automatrix, inc.

Computing Dictionary
 
 Definition: 

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].

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY