文献

J-GLOBAL ID：201902212454732762   整理番号：19S1235199

Race against the teens - Benchmarking mechanized math on pre-university problems

著者 (11件)： Matsuzaki, Takuya (Nagoya University) ,  Matsuzaki, Takuya (National Institute of Informatics) ,  Iwane, Hidenao (National Institute of Informatics) ,  Iwane, Hidenao (Fujitsu Laboratories, Ltd.) ,  Arai, Noriko H. (National Institute of Informatics) ,  Anai, Hirokazu (Fujitsu Laboratories, Ltd.) ,  Anai, Hirokazu (Kyushu University) ,  Kobayashi, Munehiro (University of Tsukuba) ,  Zhan, Yiyang (Université Paris Diderot) ,  Fukasaku, Ryoya (Tokyo University of Science) ,  Kudo, Jumma (Tokyo University of Science)
資料名： Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
巻： 9706  ページ： 213-227  発行年： 2016年 
JST資料番号： SCOPUS  ISSN： 0302-9743  ISBN： 9783319402284 
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (1件)： RACE