resettable zero knowledge argument system 可重置零知识论证系统
system standard argument list 系统标准变元表
group argument support system 群体研讨支持系统
Maths is not only a knowledge system but also a rational thinking and argument system. It is a systematism theory knowledge summation by height abstract and strict logic ratiocination.
数学既是一个知识体系,又是一个理性的思辩体系,它是经过高度抽象和严格的逻辑推理形成的系统化理论知识总和。
This paper discusses the logic in special context of law which including legal reasoning system, legal argument system, the logic of legal reasons, legal subjective logic and legal experts system.
本文主要论述了法律特殊语境下的法律推理系统、法律论证系统、法律理由逻辑、法律主观间性逻辑和法律专家系统等。
The same argument can be used for many other public services, such as fire protection, national defense, and the court system.
同样的道理也适用于许多其他公共服务,如消防、国防和法院系统。
应用推荐