go top

Alf
[ælf] [ælf]

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

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

  换行键

... strip LF 舍去换行符 A LF 换行键 LF Components 低音单元 ...

基于238个网页-相关网页

短语

PESS-A-LF 型号

a lf aluminium alloy a02铝镁合金

LF-HR-A 跟单副经理

Lexus LF-A 凌志超跑

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

LF LN A 用途

a series lf 一些

lf a lf2407a型号

tms lf a tms320lf2407a型号

 更多收起网络短语
  • 代数逻辑函数语言
    自动换行 (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
- 来自原声例句
小调查
请问您想要如何调整此模块?

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

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