Experience with Or-parallelism of connection graphs

著录项

• 来源
  《Annual conference on Computer Science;Conference on Computer Science》|1991年|P.381-390|共10页
• 会议地点
• 作者

  R. Loganantharaj; Ay-Hwa Liou; PR. Loganantharaj;

  展开▼
• 作者单位

  展开▼
• 会议组织
• 原文格式 PDF
• 正文语种
• 中图分类 计算技术、计算机技术;
• 关键词

  theorem proving;

  机译：定理证明;