查询词典 algebras
- 与 algebras 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.
基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域，因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。
-
The derived equivalences of extension algebras are studied in the second chapter.
第二章我们讨论扩张代数的导出等价。
- 推荐网络例句
-
Some of them were ligated to the plasmid vector pCR 2.1 andsequenced,respectively.
将所获DNA片段克隆到pCR2.1载体进行测序，并与基因组数据库进行同源性比较。
-
Thinking since Google owns Blogger, I would be able to escalate this issue to the support team.
自谷歌的思考拥有Blogger的，我将能够缓解这一问题的支持团队。
-
Besides, I also surely know that just professional skills are not enough for being a good doctor. Hence, I attend the basic scientific research of preclinical medical college, the epidemiological investigation of public health college and the clinical scientific research of clinic college,from which I possess of some experimental skill such as CELL CULTER , PCR , Western blotting and so on.Above all,these experience cultivate my ability of designing the experiment and enforcing the experiment,which help me complete my research.
做为一名七年制的学生，学校对我们的要求是&临床技能和科研能力同等重要&因此在进行临床技能培养的同时，我先后参加过我校基础医学院的基础科研实践、公共卫生学院的流行病学调查实习，及临床学院的临床科研实践，让我熟练掌握了细胞培养、 PCR 、 Western blotting 等分子生物学技术；最重要的是，这些实践经验培养了我独立完成从研究课题的设计到实验方案的实施能力，帮助我顺利的完成了我在硕士期间的科研项目。