Journal of Automated Reasoning
EI
ISSN:0168-7433
e-ISSN:1573-0670
详情
出版商:
Springer Science and Business Media B.V.
国家:
Netherlands
学科1:
Artificial Intelligence
学科2:
Computational Theory and Mathematics
学科3:
Software
学科4:
-
学科5:
-
学科6:
-
学科7:
-
学科8:
-
OA:
NO
是否在库:
是