期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
Institutions of Variable Truth Values:An Approach in the Ordered Style 被引量:1
1
作者 应明生 《Journal of Computer Science & Technology》 SCIE EI CSCD 1995年第3期267-273,共7页
The concept of institution of variable truth values is introduced and somemain results about institutions are generalized. In particular, some propertiesof institutions of variable truth vaues preserved by change of t... The concept of institution of variable truth values is introduced and somemain results about institutions are generalized. In particular, some propertiesof institutions of variable truth vaues preserved by change of truth values areestablished. 展开更多
关键词 Methodology of software engineering abstract model theory many-valued logic
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部