Art
J-GLOBAL ID：201902209966181872   Reference number：19S0487135

A systematic methodology for automated theorem finding

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (3)：
Gao, Hongbiao

About Gao, Hongbiao

(Department of Information and Computer Sciences, Saitama University)

About Department of Information and Computer Sciences, Saitama University

, 
Goto, Yuichi

About Goto, Yuichi

(Department of Information and Computer Sciences, Saitama University)

About Department of Information and Computer Sciences, Saitama University

, 
Cheng, Jingde

About Cheng, Jingde

(Department of Information and Computer Sciences, Saitama University)

About Department of Information and Computer Sciences, Saitama University


Material：
Theoretical Computer Science

About Theoretical Computer Science


Volume： 554  Issue： C  Page： 2-22  Publication year： 2014 
JST Material Number： SCOPUS  ISSN： 0304-3975  CODEN： TCSCD 
Country of issue： Netherlands (NLD)  Language： English (EN)

Return to Previous Page

TOP

BOTTOM