AUTOMATH

Also found in: Dictionary/thesaurus, Wikipedia

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

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			automanual system automat automata automata theory automate Automated Bakery Automated Coal Mining Automated Control Design Automated Countdown automated decision making Automated Engineering Design automated fingerprint identification system AUTOmated GRouPing system automated guided vehicle automated guided vehicle system automated identification system automated optical inspection automated radar plotting aid automated radar terminal system Automated Retroactive Minimal Moderation automated tape library automated teller machine automated testing Automated Troop Control automated x-ray inspection AUTOMATH automatic automatic abstracting automatic acceleration automatic alarm receiver Automatic Answer-Back automatic back bias automatic background control automatic balance automatic bass compensation automatic batcher automatic baud rate detection automatic bias Automatic Block Signaling automatic brazing automatic breech mechanism automatic brightness control automatic C bias automatic calibration automatic call origination automatic calling unit automatic carriage automatic casing hanger Automatic Casting Machine automatic celestial navigation automatic character recognition			Automated Wet-Bulb Globe Temperature Computer Information System Automated Wing Box Assembly Automated Wire List Automated Work Administration System Automated Work Distributor Automated Work Request Automated Workforce Projection System Automated Workload Management System Automated Workstation Backup System Automated Wreck and Obstruction Information System Automated x-ray inspection Automated x-ray inspection Automated Zone List 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 (album) Automatic (album) Automatic (album) Automatic / Manual automatic abstracting automatic acceleration Automatic Accounting Instruction Automatic Acoustic Management Automatic activation device Automatic Actuation Device Automatic Adaptive Detection Automatic Adaptive Equalization Automatic Adaptive Routing Automatic Add-Value Service Automatic Adjust Automatic Administration of Knowledge Technology Automatic Agent Radio Communications System Automatic Aimpoint Selection And Maintenance Automatic Air Collision Avoidance System Automatic air conditioning Automatic air conditioning Automatic air conditioning

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

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