中英▼
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]

原声例句权威例句

  • 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
- 来自原声例句
小调查
请问您想要如何调整此模块？

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

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