go top

Alf
[ælf] [ælf]

  • n. 阿尔夫(男子名)(Alfred 的昵称)

专业释义英英释义

  • 代数逻辑函数语言
    自动换行 (automatic line feed)
    应用程式馆档案 (application library file)

·2,447,543篇论文数据,部分数据来源于NoteExpress

ALF

  • abstract: ALF ("Another logical framework") is a structure editor for monomorphic Martin-Löf type theory developed at Chalmers University. It is a predecessor of the Alfa, Agda, Cayenne and Coq proof assistants and dependently typed programming languages.

以上来源于: WordNet

 柯林斯英汉双解大词典 

alf /ælf/

  • 1. 

    N an uncultivated Australian 无教养的澳大利亚人 [AUSTRALIAN] [derogatory]

双语例句原声例句权威例句

  • Determining the hemisphere is easy: latitude zones a, C, d, e, F, g, h, J, K, l, and m are in the Southern hemisphere, and the rest are in the Northern hemisphere.

    这种确定非常简单:纬度aCDEFGHJKLm位于南半球其余区位于北半球。

    youdao

  • You won’t lose a pillow fight with Canon 24-105mm f/4 L pillow.

    有了佳能24-105mm f/4 L(镜头)将不会输掉枕头大战

    youdao

  • This was supposed to be a week to celebrate the fiftieth anniversary of the A. F. L. -c. I. o. at its convention in Chicago.

    一周时间在芝加哥大会庆祝美国劳联产联组织五十周年纪念

    youdao

更多双语例句
  • The A.F.L.also opposed extremists who used labor protests to change the social system.

    VOA: special.2010.05.06

  • Led by Samuel Gompers, the A.F.L.was different from earlier labor groups.

    VOA: special.2010.05.06

  • What the A.F.L.called for were things workers wanted immediately.

    VOA: special.2010.05.06

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定