1.
Automated reasoning for natural deduction system NR of relevance propositional logic
相干命题逻辑自然推理系统NR的自动证明
2.
To Construct System of Natural Inference about Categorical Syllo gism with Methods of Substitution Middle-term
论替换中项法下的直言三段论自然推理系统
3.
Understanding of Rule for Hyp~- Elimination in System of Natural Deduction P_N;
对自然推理系统P_N中假设前提销去规则(Hyp~-)的理解
4.
Analyzing Progress of Scaling up Community-based Natural Resource Management Approach;
社区自然资源管理方法的推广进展分析
5.
Though Pure Mathematics has led to useful discoveries, much of the impetus has come from the physical sciences.
虽然纯数学曾导致一些有用的发现，但是很多推动力来自物理科学。
6.
Research on Past Evaluation Method of Provincial Natural Science Foundation Based on the Evidential Reasoning Algorithm;
基于证据推理的省级自然科学基金项目后评价方法研究
7.
Cognitive Strategy by Returning to Nature:A Study of Model-based Reasoning in Diagnoses of Traditional Chinese Medicine(TCM)
回归自然的认知策略——中医诊断的模型化推理及其方法论启示
8.
the doctrine emphasizing a person's capacity for self-realization through reason; rejects religion and the supernatural.
强调以推理寻求自我认识从而发展个人力量的主义:反对宗教和超自然学。
9.
I am convinced of the truth of my reasoning.
我确信自己推理的正确。
10.
Automated Reasoning Based on Tableaux;
基于tableau的自动推理研究
11.
The concept of physical person could only imply the natural freedom, but never political liberty.
自然人的概念最多只能推出事实自由而不可能推出政治自由。
12.
And she opened the door and went in.
然后她就推开门自己进去了。
13.
He shifted uncomfortably,"Marsha's just a child."
他不自然地推托道，“玛莎只是个孩子呢。”
14.
What moves him is the desire to unravel the mysteries of nature.
推动他们的还是解开自然之迷的愿望。
15.
The Confucian school adores the beauty of “harmony”whereas the Taoist school advocates the beauty of “nature”.
儒家推崇“中和”之美,道家向往“自然”之趣。
16.
The subtlety of nature is greater many times over than the subtlety of arguments.
自然界比推辩本身细致微妙许多倍。
17.
Deduction of Sum Formula of Natural Number High Power;
自然数高次幂的求和公式的一种推导
18.
Principles of Physical Geography
(Ⅲ)自然地理学原理