吉林大学学报(理学版)2005,Vol.43Issue(4):455-460,6.
含等词的超表演算
Hyper Tableau with Equality
摘要
关键词
超表演算/Superposition方法/等词分类
信息技术与安全科学引用本文复制引用
冯莎莎,孙吉贵,吴瑕..含等词的超表演算[J].吉林大学学报(理学版),2005,43(4):455-460,6.基金项目
国家自然科学基金(批准号:60273080,60473003)和吉林省杰出青年基金(批准号:20030107). (批准号:60273080,60473003)