ISSN: 0168-7433
Journal Home
Journal Guideline
Journal of Automated Reasoning Q2 Unclaimed
Journal of Automated Reasoning is a journal indexed in SJR in Software and Computational Theory and Mathematics with an H index of 58. It has a price of 2090 €. It has an SJR impact factor of 0,77 and it has a best quartile of Q2. It is published in English. It has an SJR impact factor of 0,77.
Type: Journal
Type of Copyright:
Languages: English
Open Access Policy: Open Choice
Type of publications:
Publication frecuency: -
2090 €
Inmediate OANPD
Embargoed OA0 €
Non OAMetrics
0,77
SJR Impact factor58
H Index34
Total Docs (Last Year)159
Total Docs (3 years)1614
Total Refs246
Total Cites (3 years)146
Citable Docs (3 years)1.46
Cites/Doc (2 years)47.47
Ref/DocOther journals with similar parameters
Software - Practice and Experience Q2
Peer-to-Peer Networking and Applications Q2
Connection Science Q2
International Journal of Fuzzy Systems Q2
Mobile Networks and Applications Q2
Compare this journals
Aims and Scope
Best articles by citations
Computations in fragments of intuitionistic propositional logic
View moreFormal Proofs of Rounding Error Bounds
View moreAutomated reasoning and nonclassical logics: Introduction
View moreTABLEAUX: A general theorem prover for modal logics
View morePreface: Special Issue on Uncertain Reasoning
View moreA family of goal directed theorem provers based on conjunction and implication: Part 1
View moreConstructing finite algebras with FALCON
View morePartial Functions in ACL2
View moreRelevant logic programming
View moreAnnouncement
View moreHerbrand Award Acceptance Speech
View more
Comments