泥孩问题相关硕士博士期刊学术论文

通信信息系统CIS描述了多主体的信息表示和通信方法.这种系统是经典命题逻辑在多主体环境中的扩张.通过＂泥孩问题＂的推理展示了该形......