自动演绎相关论文
最近做了些和移动互联网有关的事情,就是找了些新技术,想了些新模式。于是,就像当初创业初期一样热情满满地开始接触各种投资商和......
随着当今世界科学技术的突飞猛进,信息化时代已经走进了我们的生活,也走进了我们的校园。现代信息技术的发展对数学教学的价值、目......
以分析模态逻辑中文字公式的极性为基础，将经典逻辑的Ｄａｖｉｓ－ｐｕｔｎａｍ纯文字化简规则推广到了命题模态逻辑Ｄ系统的自动演绎中，并给出了一些刻划Ｄ逻辑自......
