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 62. It has a price of 2090 €. It has an SJR impact factor of 0,873 and it has a best quartile of Q2. It is published in English. It has an SJR impact factor of 0,873.

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,873

SJR Impact factor

62

H Index

40

Total Docs (Last Year)

125

Total Docs (3 years)

1534

Total Refs

213

Total Cites (3 years)

116

Citable Docs (3 years)

1.6

Cites/Doc (2 years)

38.35

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

Cognitive Systems Research Q2
IEEE Software Q2
ACM Transactions on Programming Languages and Systems Q2
Peer-to-Peer Networking and Applications Q2
Computer Communication Review 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