Word:

Automath

Au´to`math
n.1.One who is self-taught.
(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].
Browse
autologous
autolysis
autolytic
automagically
automaker
automat
automata
automata theory
automate
automated
Automated Engineering Design
AUTOmated GRouPing system
Automated Retroactive Minimal Moderation
automated teller
automated teller machine
automated testing
-- Automath --
Automatic
Automatic arts
automatic baud rate detection
automatic choke
automatic data processing
automatic data processing system
automatic drive
Automatic expansion gear
automatic face recognition
automatic firearm
automatic hyphenation
Automatic Mathematical TRANslation
Automatic Network Routing
Automatic Number Identification
automatic pilot
automatic pistol
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy