automath
英式音标：[ɔ:\'təmæθ] 美式音标：[ɔ\'təmæθ]
automath的意思释义 释义[计] 自动数学程序；英英释义 AutomathAutomath (automating mathematics) was a
automath怎么读
英式音标：[ɔ:\'təmæθ]
美式音标：[ɔ\'təmæθ]
automath的意思释义
释义
[计] 自动数学程序；
英英释义
AutomathAutomath (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.
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
