Mat
J-GLOBAL ID：200909003026379551
JST material number (FULL)：D0269EAY
JST material number：D0269E
Journal of Automated Reasoning
JST material number：
JST material number
Identifier of Material (journals)
D0269E
ISSN (2)：
0168-7433
, 1573-0670
CODEN (1)：
JAREEW
Material type：Article, Meta Only, 4a
Publication frequency： 4a
Country of issued：Germany, Federal Republic of(DEU)
Language (1)：
English(EN)
JST classification (1)：
計算機利用技術 (JE)
Publisher：
Springer Nature
Publication place：*
JST library information (0)
※：
※Subject to change. Contact us for the latest status.
Return to Previous Page
