| 注册

含等词的超表演算

冯莎莎 孙吉贵 吴瑕

吉林大学学报(理学版)2005,Vol.43Issue(4):455-460,6.
吉林大学学报(理学版)2005,Vol.43Issue(4):455-460,6.

含等词的超表演算

Hyper Tableau with Equality

冯莎莎 1孙吉贵 2吴瑕1

作者信息

  • 1. 吉林大学,计算机科学与技术学院,长春,130012
  • 2. 吉林大学,符号计算与知识工程教育部重点实验室,长春,130012
  • 折叠

摘要

关键词

超表演算/Superposition方法/等词

分类

信息技术与安全科学

引用本文复制引用

冯莎莎,孙吉贵,吴瑕..含等词的超表演算[J].吉林大学学报(理学版),2005,43(4):455-460,6.

基金项目

国家自然科学基金(批准号:60273080,60473003)和吉林省杰出青年基金(批准号:20030107). (批准号:60273080,60473003)

吉林大学学报(理学版)

OACSCD

1671-5489

访问量0
|
下载量0
段落导航相关论文