英语词典

-

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

字母词汇表更多

c开头的单词

coffee pot Czechs Czechoslovakian Czechoslovakia czechoslovak Czechic

j开头的单词

jynx jv juxtaposition juxtaposing juxtaposes juxtaposed

r开头的单词

ryukyuan ryukyu RYS ryot rynd ryke

分类词汇表更多

职业职场

zoologist year-end dinner party would like to worse world class Workshop Manager

文学艺术

zinc zephyr yellow wrought iron writer worship

专四专八考试

zone zodiac zenith yore yield yelp

人名姓氏表更多

男

zack zachary Zachariah young York Yates

女

Zola Zoe Zenobia Zenia Zena Zandra

男/女

Yong wynn winter willie Whitney wally

新东方柯林斯词典

托福考试练习

雅思预测

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