External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning

Yuichi Goto, Hongbiao Gao, Jingde Cheng. A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning. In Ngoc Thanh Nguyen, Satoshi Tojo, Le Minh Nguyen, Bogdan Trawinski, editors, Intelligent Information and Database Systems - 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II. Volume 10192 of Lecture Notes in Computer Science, pages 125-134, 2017. [doi]

Authors

Yuichi Goto

This author has not been identified. Look up 'Yuichi Goto' in Google

Hongbiao Gao

This author has not been identified. Look up 'Hongbiao Gao' in Google

Jingde Cheng

This author has not been identified. Look up 'Jingde Cheng' in Google
runs on