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]. |
| |
| | Sponsored Links: | |
|
| |
|
|