单词：axiomatization
axiomatization的用法和样例：
例句
- The process of axiomatization of vector theory is also studied.另外还简单介绍了向量的公理化过程。
- These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
单词：axiomatization 相关文章
Sorry,there is not text temporarily, Please help tingroom to look for it! 如果您能找到更好的听力原文，请发贴到 听力原文收集区 ， 您将会获得10到30积分的奖励! Thank you！
背诵为王第四册
MAXIMUS: 1)Archers, three weeks from now I will be harvesting my crops. Imagine where you will be, and it will be so. Hold the line, stay with me, if you find yourself alone riding in green fields wit
疯狂英语2001年
[00:03.99]Western Civilization Faces a Stark Choice Ⅱ [00:07.93]Economic Growth [00:11.42]The west's stunning economic advance [00:14.02]over the past 1000 years, and especially the last 200 years, [00:18.76]has made mankind an ecological success a
英语专业晨读美文
[00:02.33]Western Civilization Faces a Stark Choice Ⅰ [00:10.63]In 1900, most westerners were confident and optimistic, [00:16.18]full of pride about their civilization. [00:18.48]Since then, the west has made enormous strides in economic, [00:22.8
英语专业晨读美文
Prenuptial agreements, which are widely accepted in western countries, are still rarely paid attention to in China. But since the recent interpretation of the Chinese Marriage Law triggered widespread debate within Chinese society, prenuptial agreeme
世界各地新闻集锦
内脏神经系统 Visceral Nervous System abdominal aortic plexus 腹主动脉丛 aorticorenal ganglion 主动脉肾神经节 autonomic nervous system 自主神经系统 cardiac plexus 心丛 celiac ganglia 腹腔神经节 celiac plexus 腹腔丛 cervicothoracic ganglion 颈胸神经节
医学英语
EDUCATION REPORT – May 9, 2002: Privatization of Public Schools By Jerilyn Watson This is the VOA Special English Education Report. Last month, a state committee voted to give control of forty-two p
教育与新闻
Kwanzaa is a week-long holiday that is celebrated around the world. It takes place between December the 26th and January the 1st every year. The holiday celebrates African culture and history. Kwanzaa started in 1966 in the U.S.A. It was the first ho
英语课程学习计划和讲义
axiom, ['ksiəm] n （不言而喻的，普遍被认定的或数学上的）公理，格言 【例】Archimedean axiom 阿基米德公理 【记】和maxim（n 格言，座右铭）一起记
不择手段背单词
Daddy, lets order a pizza, Billy said. That sounds like a good idea, said his dad. They looked at a menu they had at home. What kind do you want? his dad asked. Billy wanted a large pizza. He wanted a pizza with four toppings. He wanted cheese, peppe
简单慢速英语阅读
IN THE NEWS – March 23, 2002: INS Re-Organization By Caty Weaver This is Steve Ember with the VOA Special English program, IN THE NEWS. President Bush is considering ways to re-organize the agency t
教育与新闻
By Gary Thomas Washington 27 April 2007 Saudi Arabia announced Friday the roundup of 172 suspected terrorists for plots to attack Saudi installations. Those arrested are believed to be local members of al-Qaida. In this background report, VOA corresp
2007年VOA标准英语（四月）
By Zulima Palacio Carroll County, Maryland 22 September 2009 The bog turtle In Maryland, environmental officials are working to save one of the smallest and rarest turtles in North America. The bog turtle had the power to move an entire highway proj
VOA标准英语2009年(九月)
Greeks March Against More Budget Cuts, Privatization Angry Greeks are taking to the streets, demanding the government back off plans to save the economy by privatizing their government jobs. Anger and frustration boiled over into the streets of Athen
VOA标准英语2011年(六月)
The military is now in charge in Egypt after the so-called Supreme Council of the Egyptian Armed Forces took power Friday, ending the three-decade rule of President Hosni Mubarak. Analysts say it remains to be seen whether the military leaders will c
VOA标准英语2011年(二月)
Chinese leaders underline rural vitalization, high-quality development Chinese President Xi Jinping highlighted the importance of development in rural areas of the country while speaking with national legislators from Shandong Province in a panel dis
2018CRI中国国际广播电台
Business 商业报道 Alternative law firms 可选择的律所 Bargain briefs 讨价还价 Technology offers 50 ways to leave your lawyer 再也不用依赖您的律师了，技术提供了更多方案 CONVENTIONAL law firms charge vast hourly fees a
经济学人商业系列
Business Alternative law firms Bargain briefs 商业 律师事务所可他选 概说律所议价 Technology offers 50 ways to leave your lawyer 网络给你50种选择来挑律师 CONVENTIONAL law firms charge vast hourly fees and then hand the work
经济学人商业系列
Oprah: Iyanla Vanzant's Life Lessons Relationship expert Iyanla Vanzant shared valuable words of wisdom during her 20 Oprah Show appearances between 1998 and 1999. Look back at 10 lessons viewers took to heart. For almost two years, Iyanla helped Opr
阅读空间
A Jihadist website has announced that Ayman al-Zawahri, Osama bin Laden's deputy, is the new leader of al-Qaida, as had been expected since the killing of bin Laden in May. A web posting Thursday said Zawahri has assumed responsibility for the group,
英语新闻