英语词典

-

首页 > 英语词典 > 字母单词表 > a开头的单词 > 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

a开头的单词

ayers rock axonometric projection axoplasmic transport axonometric view axisymmetrical loading axle load axis of symmetry axis of rotation axis of projection axis of ordinates axis of level axis of gravity

字母词汇表更多

p开头的单词

Pyxis pyxie pyxidium pyxidia pyxides pyx

r开头的单词

ryukyuan ryukyu RYS ryot rynd ryke

x开头的单词

xystus xyster xyst xyphophorus xylyl xylulose-5-phosphate

分类词汇表更多

互联网行业

zoom zone zip zeroize zero input zero fill

英语辅导词汇书

zygote zw zr zora zoot suit zoophagous

GRE词汇书

zymurgy zymoscope zymogen zygote zygospore zygophyte

人名姓氏表更多

男

zack zachary Zachariah young York Yates

女

Zola Zoe Zenobia Zenia Zena Zandra

男/女

Yong wynn winter willie Whitney wally

新东方柯林斯词典

托福考试练习

雅思预测

2024年雅思考试重点题汇总[听力|阅读|写作|口语] 2024年4月雅思考试听力|阅读|写作|口语重点题汇总 [雅思考前必刷]2024年1月雅思口语考前必刷题Part 2&3地点类 2024年2月雅思考试听力|阅读|写作|口语重点题汇总 2020年9月雅思口语新题part1：shopping 2021年1月雅思口语新题part2:你认为可以教别人的技能 [雅思考前必刷]2024年1月雅思口语考前必刷题Part 2&3事件类 2020年9月雅思口语新题part1：Activity 2021年1月雅思口语新题part2:你以前看过的现场体育赛事 [雅思考前必刷]2024年1月雅思阅读考前必刷题