Data a informace o akademické informatické komunitě v ČR

Detail časopisu Journal of Automated Reasoning

Oficiální název časopisu: Journal of Automated Reasoning
Zkratky: JAR
JCR zkratka: J AUTOM REASONING
JCR stránka: www
ISO zkratka: J. Autom. Reasoning
Nakladatel: SPRINGER
ISSN: 0168-7433
Domovská stránka: www
Odkaz do DBLP: www
Odkaz do ResearchGate: www