2016年
Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems.
Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016)
ダウンロード
回数 : 279
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- 巻
- 9706
- 号
- 開始ページ
- 213
- 終了ページ
- 227
- 記述言語
- 英語
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- DOI
- 10.1007/978-3-319-40229-1_15
- 出版者・発行元
- Springer
CORE A*
Web of Science ® 被引用回数 : 2
Web of Science ® の 関連論文(Related Records®)ビュー
- リンク情報
-
- 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