Art

J-GLOBAL ID：200902294342204746   Reference number：09A0986752

異なる帰納スキームにまたがる性質の定理証明手法

Author (2)： YOSHIMARU SHIZUO (関西学院大 大学院理工学研究科) ,  TAKAHASHI KAZUKO (関西学院大 大学院理工学研究科)
Material： 日本ソフトウェア科学会大会講演論文集(CD-ROM)  (日本ソフトウエア科学会大会講演論文集(CD-ROM))
Volume： 26th  Page： ROMBUNNO.1B-2  Publication year： 2009 
JST Material Number： X0080B  ISSN： 1348-0901  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *theorem proving ,  integer ,  binary tree ,  *inductive inference ,  decomposition method ,  goods ,  mathematical model ,  natural number ,  digital cash
Semi thesaurus term： electronic cash

JST classification (2)： Theory of computation  (JB02000A) ,  Artificial intelligence  (JE08000Z)

Terms in the title (5)： 帰納 ,  スキーム ,  性質 ,  定理証明 ,  手法