go top

Alf
英 [ælf] 美 [ælf]

  • n. 阿尔夫(男子名)(Alfred 的昵称);(澳大利亚英语,贬义)无教养的澳大利亚人

网络释义专业释义英英释义

短语

Lexus LF-A 凌志超跑

lf I Were a Bell 假如我是一只铃

  • 代数逻辑函数语言
    自动换行 (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]

双语例句权威例句

  • Then Blondeau gazes at me, with the gentleness of a tiger, and says to me: `lf you are Pontmercy, you are not Laigle.

    这下,勃隆多用老虎的那种温柔神气望着我,笑容可掬地对我说:‘您如果是彭眉胥,您就不会是赖格尔。’

    youdao

  • In the case of a bad login, we added a querystring parameter of "lf." we also added some custom code (that's what those JSP ICONS indicate) to handle this.

    在登录失败时,我们添加了一个查询字符串参数“lf”。

    youdao

  • Use a DOS editor command such as dos2unix to convert the CR/LF to LF.

    利用 dos2unix 之类的 DOS 编辑命令,将 CR/LF 转换为 LF。

    youdao

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

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

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