AUTOMATH

<language, mathematics> 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].

Last updated: 2001-07-09

Try this search on Wikipedia, OneLook, Google

Nearby terms: AUTOmated GRouPing system « Automated Retroactive Minimal Moderation « automated testing « AUTOMATH » Automatically Programmed Tools » automatic baud rate detection » automatic hyphenation


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.