文献
J-GLOBAL ID:202202279117827249
整理番号:22A0496811
新しい一次公式計量に基づく大理論上の公理選択【JST・京大機械翻訳】
Axiom selection over large theory based on new first-order formula metrics
著者 (2件):
Liu Qinghua
(School of Information Science and Technology, Southwest Jiaotong University, Chengdu, Sichuan Province, China)
,
Xu Yang
(School of Mathematics, Southwest Jiaotong University, Chengdu, Sichuan Province, China)
資料名:
Applied Intelligence
(Applied Intelligence)
巻:
52
号:
2
ページ:
1793-1807
発行年:
2022年
JST資料番号:
W0297A
ISSN:
0924-669X
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)