alf
音标[ælf]
alf是什么意思、alf怎么读
alf汉语翻译
中文拼写：阿尔夫
名字含义：聪明，小精灵，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.
alf例句
- Alf is one of the main characters in the 80s sitcom.阿尔夫是80年代情景喜剧中的主要角色之一。
- My friend named his dog Alf after his favorite TV show character.我朋友以他最喜欢的电视角色命名他的狗为阿尔夫。
0
纠错
猜你喜欢
trepidatio cordis的汉语翻译membranae spiralis的汉语翻译Minkowski geometry的汉语翻译vacuate的汉语翻译location accessing operation的汉语翻译streptoleukocidin的汉语翻译Fiji sandalwood oil的汉语翻译leipodermia的汉语翻译Capaldi-Proskauer culture-medium的汉语翻译asynchronous memory access的汉语翻译ultimate demand的汉语翻译vacuate的汉语翻译upon my troth的汉语翻译vacuate的汉语翻译basic dimension的汉语翻译accident due to negligence的汉语翻译center-coupled loop的汉语翻译skid resistance的汉语翻译limed rosin enamel的汉语翻译indicatio的汉语翻译
