机构（计算机科学）-一流百科

机构（计算机科学）

机构（计算机科学）机构的概念，目的是处理计算机科学中使用的逻辑系统中的人口爆炸问题。这个概念试图将逻辑系统的非正式概念正式化。机构的使用使得规范语...

词条百科