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
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
1. Since its inception the company has produced 53 different aircraft designs.
该公司自成立以来已经完成了53种不同样式飞行器的设计。
来自柯林斯例句
2. The club has grown rapidly since its inception in 1990.
这个俱乐部自从1990年成立以来发展迅速。
来自《权威词典》
3. The programme has been successful since its inception.
这个方案自开始实施以来一直卓有成效.
来自《简明英汉词典》
4. When Cobb uses inception on Mal, it continues and never stops.
当Cobb在Mal身上用了inception时, 它在继续着没有停.
来自互联网
5. Julia's worked for that company from its inception.
自从那家公司开办以来,朱莉娅一直在那儿工作.
来自辞典例句
[ inception 造句 ]
automath
