automath什么意思 automath音标、翻译、用法
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 :
Automath
Automath
Selected Papers on Automath
Selected Papers on Automath
The language theory of automath
A Survey of the Project Automath *
Volume 133. Selected Papers on Automath
The Language Theory of Automath: Chapter I, Sections 1–5 (Introduction)
The mathematical language AUTOMATH, its usage and some of its extensions
The mathematical language AUTOMATH, its usage, and some of its extensions
The Mathematical Language Automath, its Usage, and Some of its Extensions *
Checking Landau's "Grundlagen"in the Automath system / by L.S. van Benthem Jutting