AUTOMATH

Also found in: Dictionary/thesaurus, Wikipedia

0.04 sec.

(language, mathematics)

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

?Page tools

Printer friendly
Cite / link

Email
Feedback

? Mentioned in

No references found

Encyclopedia browser

? Full browser

automated clearing house
Automated Engineering Design
AUTOmated GRouPing system
automated provisioning
Automated Retroactive Minimal Moderation
automated teller machine
automated testing
AUTOMATH
automatic
automatic baud rate detection
automatic call distributor
automatic car
automatic data processing
automatic design optimization
automatic direction finder

Automated Work Administration System
Automated Work Distributor
Automated Work Distributor
Automated Work Request
Automated Workforce Projection System
Automated Workload Management System
Automated Wreck and Obstruction Information System
Automated x-ray inspection
Automated x-ray inspection
Automated Zone List
Automated-manual transmission
Automated-Telex Over Radio
Automated/Advanced Communications Control System
Automated/Airborne/Advanced Electronic Emitter Location System
Automated/Automatic Carrier Landing System
Automated/Automatic Data Processing Center

Automated/Automatic Data Processing Program Reporting System
Automated/Automatic Fuel Service Station
Automated/Automatic Guided Vehicle
Automated/Automatic Reporting System
Automated/Automatic Status Board
automated/electronic target folder
automates
automates
AUTOMATH
Automath theorem prover
Automath theorem prover
AutoMathA
automatic
automatic
automatic
automatic
automatic

automatic
automatic
Automatic (album)
Automatic (album)
Automatic (album)
Automatic (Dweezil Zappa album)
Automatic (I'm Talking to You)
Automatic (Jesus and Mary Chain album)
Automatic (Pointer Sisters song)
Automatic (Prince song)
Automatic (Stitches album)
Automatic (The Jesus and Mary Chain album)
Automatic (The Stitches album)
Automatic (The Turbo A.C.'s album)
Automatic / Manual
Automatic / Time Will Tell

Encyclopedia

Free Tools:	For surfers: Browser extension \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup \| Partner with us

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.