逻辑形式化相关论文
提出了一种根据动画效果实现Flash动画自动测评的方案。采用逻辑形式化方法描述操作题阅卷信息，并通过建立的逻辑形式化阅卷系统实......
自20世纪70年代吉伯德-萨特思韦特防策略不可能性定理确立后,引起了数学、经济学、计算机科学和哲学等诸多领域中学者的广泛关注。......
