位置：成果数据库 > 会议 > 会议详情页
Minimal Unembedded Renamable Horn Sets
  • 所属机构名称：贵州大学
  • 会议名称：IEEE 2009 International Workshop on Intelligent and Application
  • 成果类型：会议
  • 相关项目：命题公式有效推理的特殊变元集及算法研究
作者： 许道云|秦永彬|
同会议论文项目
命题公式有效推理的特殊变元集及算法研究
期刊论文 21 会议论文 8
同项目会议论文
A Balanced Rank Algorithm Based on PageRank and Page Belief Recommendation
Maximum Renamable Horn and Maximum Independent Sets
A new Fine-computability of functions on [0,1]
非确定型有穷自动机状态合并的充要条件
Synchronization and anti-synchronization of new uncertain hyperchaotic systems via novel active pinn
A New Multi-vendor Logistics and Distribution Optimized Algorithm Based on Ant Colonies
A Heuristics Logistics Distribution Algorithm Based on Parallel Multi-ant Colonies