thumbnail

Journal of Automated Reasoning

SCOPUS (1985-2023)SCIE-ISI

  1573-0670

  0168-7433

 

Cơ quản chủ quản:  SPRINGER , Springer Netherlands

Lĩnh vực:
Computational Theory and MathematicsSoftwareArtificial Intelligence

Các bài báo tiêu biểu