文献
J-GLOBAL ID:201902270161955649
整理番号:19A1136691
幾何学のためのポートフォリオ定理証明と証明器の予測【JST・京大機械翻訳】
Portfolio theorem proving and prover runtime prediction for geometry
著者 (4件):
Nikolic Mladen
(Faculty of Mathematics, University of Belgrade, Belgrade, Serbia)
,
Marinkovic Vesna
(Faculty of Mathematics, University of Belgrade, Belgrade, Serbia)
,
Kovacs Zoltan
(The Priv. Univ. College of Educ. of the Diocese of Linz, Linz, Austria)
,
Janicic Predrag
(Faculty of Mathematics, University of Belgrade, Belgrade, Serbia)
資料名:
Annals of Mathematics and Artificial Intelligence
(Annals of Mathematics and Artificial Intelligence)
巻:
85
号:
2-4
ページ:
119-146
発行年:
2019年
JST資料番号:
W2049A
ISSN:
1012-2443
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)