网站首页  词典首页

请输入您要查询的英文单词:

 

单词 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
    随便看

     

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

     

    Copyright © 2010-2024 Sijigu.com All Rights Reserved
    京ICP备2021023879号 更新时间:2024/9/20 0:09:03