英语词典

-

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

字母词汇表更多

m开头的单词

mzee mz myxovirus myxomycete myxomatosis myxomata

u开头的单词

Uzziah Uzi Uzbekistan Uzbek UZ uy

v开头的单词

vyingly vying vycor vyborg VxWorks VXI

分类词汇表更多

纺织行业

woven fabric worsted flannel woolen fabrics wool serge viscose acetal fibre vinylon

专四专八考试

zone zodiac zenith yore yield yelp

节日

winter vacation watermelon seed variety show traditional opera The Spring Festival The lantern Festival

人名姓氏表更多

男

zack zachary Zachariah young York Yates

女

Zola Zoe Zenobia Zenia Zena Zandra

男/女

Yong wynn winter willie Whitney wally

新东方柯林斯词典

托福考试练习

雅思预测

2024年雅思考试重点题汇总[听力|阅读|写作|口语] [雅思考前必刷]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月雅思阅读考前必刷题 2019年5-8月雅思口语part1话题范文：Music