The theorem is named for John Myhill and Anil Nerode, who proved it at the University of Chicago in 1958(Nerode 1958).
格兰特圆环得名于尤利西斯·辛普森·格兰特,他是赢得美国内战的北军将军,后来又两次被选为美国总统。
Grant Circle is named for Ulysses S. Grant, the former Union Army General who won the American Civil War and later was twice elected President of the United States.
无面纵傀者得名于其令人战栗的技能,他们能穿透人的思维,控制受害者的身体。
The Faceless Puppeteers own their name to their dreadful ability to penetrate one's mind and take control of the victim's body.
得名于SaulKripke的K,只向经典命题逻辑公理体系增加了如下规则:.
One weak system, named K after Saul Kripke, adds only the following to a classical axiomatization of propositional logic.
深度学习程序之所以得名,是因为它们使用“深度”多层神经网络来学习和预测结果。
Deep learning programs get their name due to the"deep" multi-layered neural networks they use to learn and predict outcomes.
ElTigre以曾经在那漫游的美洲虎而得名,还拥有古董店,海军博物馆和游乐园。
El Tigre, named for the jaguars that used to roam there, also boasts antique shops, a naval museum and an amusement park.
它得名于基督教殉道者圣玛策林及圣伯多禄,传统认为他们埋葬于此,靠近圣谛步爵的尸体。
Their name refers to the Christian martyrs Marcellinus and Peter who, according to tradition, were buried here, near the body of St. Tiburtius.
它得名于雅科夫·巴甫洛夫(英语:YakovPavlov)中士,他在战役期间指挥一个排防御此楼。
It gained its popular name from Sergeant Yakov Pavlov, who commanded the platoon that seized the building and defended it during the long battle.
成立于1974年,该大学是澳大利亚联邦运动的领导者和联邦第二首相,阿尔弗雷德·迪金而得名。
Established in 1974, the University was named after the leader of the Australian federation movement and the nation's second Prime Minister, Alfred Deakin.
接受并议定了后来的《关于适应工作的内罗毕工作方案》(一年后于2006年得名)。
What was to become the Nairobi Work Programme on Adaptation(it would receive its name in 2006, one year later) is accepted and agreed on.
年,西尼罗(WestNile)病毒在乌干达的WestNile地区被发现,因此得名。
West Nile virus(WNV) was first described in 1937 and is named for the West Nile district of Uganda, where it was discovered.
中文
Bahasa indonesia
日本語
عربى
Български
বাংলা
Český
Dansk
Deutsch
Ελληνικά
Español
Suomi
Français
עִברִית
हिंदी
Hrvatski
Magyar
Italiano
Қазақ
한국어
മലയാളം
मराठी
Bahasa malay
Nederlands
Norsk
Polski
Português
Română
Русский
Slovenský
Slovenski
Српски
Svenska
தமிழ்
తెలుగు
ไทย
Tagalog
Turkce
Українська
اردو
Tiếng việt