ISSN: 0168-7433

Journal Home

Journal Guideline

Journal of Automated Reasoning Q2 Unclaimed

Springer Netherlands Netherlands

Unfortunately this journal has not been claimed yet. For this reason, some information may be unavailable.

Journal of Automated Reasoning is a journal indexed in SJR in Software and Computational Theory and Mathematics with an H index of 64. It has a price of 2090 €. It has an SJR impact factor of 0,616 and it has a best quartile of Q2. It is published in English. It has an SJR impact factor of 0,616.

Type: Journal

Type of Copyright:

Languages: English

Open Access Policy: Open Choice

Type of publications:

Publication frecuency: -

Categories: Artificial Intelligence (Q2) Computational Theory and Mathematics (Q2) Software (Q2)

Price

2090 €

Inmediate OA

NPD

Embargoed OA

0 €

Non OA

Metrics

0,616

SJR Impact factor

64

H Index

24

Total Docs (Last Year)

110

Total Docs (3 years)

1268

Total Refs

163

Total Cites (3 years)

106

Citable Docs (3 years)

1.23

Cites/Doc (2 years)

52.83

Ref/Doc

Comments

No comments ... Be the first to comment!

Publication speed *

Review quality *

Edition and editorial team *

Institutional email or ORCID *

* The email or ORCID field is only to validate the authenticity of the comment, the identity will not be public. .

Other journals with similar parameters

Journal of Intelligent Information Systems Q2
Knowledge and Information Systems Q2
IACR Transactions on Symmetric Cryptology Q2
Journal of Cryptology Q2
Computer Speech and Language Q2

Compare this journals

Aims and Scope

Best articles by citations

Computations in fragments of intuitionistic propositional logic

Formal Proofs of Rounding Error Bounds

Automated reasoning and nonclassical logics: Introduction

TABLEAUX: A general theorem prover for modal logics

Preface: Special Issue on Uncertain Reasoning

A family of goal directed theorem provers based on conjunction and implication: Part 1

Constructing finite algebras with FALCON

Partial Functions in ACL2

Relevant logic programming

Announcement

Herbrand Award Acceptance Speech