automath
英：[ɔ:'təmæθ] 美： [ɔ'təmæθ]
automath 基本解释
释义[计] 自动数学程序；
英英释义
Automath
Automath (automating mathematics) was a formal language, devised by Nicolaas Govert de Bruijn starting in 1967, for expressing complete mathematical theories in such a way that an included automated proof checker can verify their correctness. The Automath system included many novel notions that were later adopted and/or reinvented in areas such as typed lambda calculus and explicit substitution.以上来源于:Wikipedia
automath 相关例句
权威例句
AUTOMATH :AutomathAutomathSelected Papers on AutomathSelected Papers on AutomathThe language theory of automathA Survey of the Project Automath *Volume 133. Selected Papers on AutomathThe Language Theory of Automath: Chapter I, Sections 1–5 (Introduction)The mathematical language AUTOMATH, its usage and some of its extensionsThe mathematical language AUTOMATH, its usage, and some of its extensionsThe Mathematical Language Automath, its Usage, and Some of its Extensions *Checking Landau's "Grundlagen"in the Automath system / by L.S. van Benthem Jutting
