論文

査読有り

2014年

Mathematics by Machine

Proceedings of 39th International Symposium on Symbolic and Algebraic Computation (ISSAC 2014)

Noriko H. Arai
Takuya Matsuzaki
Hidenao Iwane
Hirokazu Anai

開始ページ: 1
終了ページ: 8
記述言語: 英語
掲載種別: 研究論文（国際会議プロシーディングス）
DOI: 10.1145/2608628.2627488

リンク情報

DOI: https://doi.org/10.1145/2608628.2627488
DBLP: https://dblp.uni-trier.de/rec/conf/issac/AraiMIA14
Dblp Cross Ref: https://dblp.uni-trier.de/conf/issac/2014
Dblp Url: https://dblp.uni-trier.de/db/conf/issac/issac2014.html#AraiMIA14

ID情報

DOI : 10.1145/2608628.2627488
DBLP ID : conf/issac/AraiMIA14

エクスポート: BibTeX RIS

論文リストへ