Art
J-GLOBAL ID：201002241112901035   Reference number：10A1223015

A parallelism-oriented prover with a meta-predicate

メタ述語による並列性指向証明器
  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (1)：
ARAI M

About ARAI M


Material：
2004 2ND INTERNATIONAL IEEE CONFERENCE INTELLIGENT SYSTEMS, VOLS 1 AND 2, PROCEEDINGS

About 2004 2ND INTERNATIONAL IEEE CONFERENCE INTELLIGENT SYSTEMS, VOLS 1 AND 2, PROCEEDINGS


Page： 138-143  Publication year： 2004 
JST Material Number： I20040046  ISBN： 0-7803-8278-1  Document type： Article
Country of issue： Other (ZZZ)  Language： ENGLISH (EN)
Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
述語

About 述語

, 
証明

About 証明


Return to Previous Page

TOP

BOTTOM