論文

査読有り 最終著者 本文へのリンクあり 国際誌
2016年

Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems.

Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016)
ダウンロード
回数 : 541
  • Takuya Matsuzaki
  • ,
  • Hidenao Iwane
  • ,
  • Munehiro Kobayashi
  • ,
  • Yiyang Zhan
  • ,
  • Ryoya Fukasaku
  • ,
  • Jumma Kudo
  • ,
  • Hirokazu Anai
  • ,
  • Noriko H. Arai

9706
開始ページ
213
終了ページ
227
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1007/978-3-319-40229-1_15
出版者・発行元
Springer

CORE A*

リンク情報
DOI
https://doi.org/10.1007/978-3-319-40229-1_15
DBLP
https://dblp.uni-trier.de/rec/conf/cade/MatsuzakiIKZFKA16
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000491484800015&DestApp=WOS_CPL
共同研究・競争的資金等の研究課題
ロボットは東大に入れるか?
Dblp Cross Ref
https://dblp.uni-trier.de/conf/cade/2016
Dblp Url
https://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#MatsuzakiIKZFKA16
URL
http://link.springer.com/chapter/10.1007/978-3-319-40229-1_15
Scopus
https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84976638591&origin=inward
Scopus Citedby
https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=84976638591&origin=inward
ID情報
  • DOI : 10.1007/978-3-319-40229-1_15
  • ISSN : 0302-9743
  • eISSN : 1611-3349
  • ISBN : 9783319402284
  • DBLP ID : conf/cade/MatsuzakiIKZFKA16
  • SCOPUS ID : 84976638591
  • Web of Science ID : WOS:000491484800015

エクスポート
BibTeX RIS