automath

听听怎么读

英 [?:'t?m?θ]

美 [?'t?m?θ]

是什么意思

释义

[计] 自动数学程序；

英英释义

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

随便看

英语词典包含168364条英汉在线翻译词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

单词	automath
释义	automath 听听怎么读英 [?:'t?m?θ] 美 [?'t?m?θ] 是什么意思释义 [计] 自动数学程序；英英释义 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
随便看	fault plane fault signal fault system fault testing fault zone fault-finder fault-finding fault-tolerance faulted faultfinder faultfinding faultier faultiest faultily faulting faultless faultlessly faults faulty faun fauna fauna and flora faunae faunal faunally 辉辇戟戢戞戠扉扊焙焯労働減らす取り組み実施する国家公務員制度パーセントフレックスタイム制度退勤野口五郎野口遵野口英世野口弥吉野口悠紀雄野口米次郎野坂昭如野坂参三野島康三野尻抱影 dissent dissertationIELTS重点词汇 dissident dissimilar dissolveIELTS重点词汇 dissuade distanceIELTS重点词汇 distanced distantIELTS重点词汇 distantly 思念苍老了谁冬日冬凉自由仙境月西楼——孔灯浮云天山脚下的鹰（三）天山脚下的鹰（二）天山脚下的鹰（一）兴文石海秋天里的话银杏树