slovodefinícia
Automath
(gcide)		Automath \Au"to*math\, n. [Gr. ?; ? self + ?, ?, to learn.]
One who is self-taught. [R.] --Young.
[1913 Webster] Automatic
automath
(foldoc)		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].

(2001-07-09)
podobné slovodefinícia
Automath
(gcide)		Automath \Au"to*math\, n. [Gr. ?; ? self + ?, ?, to learn.]
One who is self-taught. [R.] --Young.
[1913 Webster] Automatic

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4