alf

听听怎么读
[ælf]
是什么意思
  • 阿尔夫
  • 聪明,小精灵,Alfred的昵称
  • 瑞典语

英英释义

ALF

  • 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.

以上来源于:Wikipedia

学习怎么用

双语例句

用作名词(n.)
  1. Alf doesn't know how to appreciate favours.
    阿尔夫此人不识抬举。
  2. Alf's wife has never discovered that she married a dustman.
    阿尔夫的妻子从未发现自己嫁了一个清洁工。

权威例句

The Alf proof editor and its proof engine
The Alf proof editor and its proof engine
The Alf proof editor and its proof engine
Formation and Crystallization Behavior of AlF_3-YF_3-BaF_2-CaF_2-MgF_2-SrF_2 Glasses
Structure of RGS4 Bound to AlF 4 − -Activated G iα1 : Stabilization of the Transition State for GTP Hydrolysis
The Role of AlF 3 Coatings in Improving Electrochemical Cycling of Li-Enriched Nickel-Manganese Oxide Electrodes for Li-Ion Batteries
Preliminary studies of an acid-labile factor (ALF) in human sera that inactivates platelet-activating factor (PAF).
Antilipopolysaccharide factor (ALF) of mud crab Scylla paramamosain: molecular cloning, genomic organization and the antimicrobial a...
Single Crystal Anisotropy and Magnetostriction Constants of Several Ferromagnetic Materials Including Alloys of NiFe, SiFe, AlFe, Co...
Mutations of hepatitis C virus 1b NS5A 2209–2248 amino acid sequence do not predict the response to recombinant interferon-alfa the...
a开头的单词
词汇所属分类
字母词汇表更多
a开头的单词
d开头的单词
h开头的单词
分类词汇表更多
服装行业
柯林斯星级词汇
GRE词汇书
人名姓氏表更多
男/女
雅思预测