Journal of automated reasoning

Basis info

International title:

Journal of automated reasoning

Print ISSN:

0168-7433         Period: [1985 .. ]

Electronic ISSN:

1573-0670         Period: [ .. ]

Country:

Netherlands

URL:

http://www.springer.com/computer/foundations/j[..]

ITAR code:

9794

NPI Scientific Field:

Informatics

Criteria

Refereed:

Peer reviewed

Author background:

International

Open access

SHERPA RoMEO:

  Green

DOAJ:

  No, is not indexed by DOAJ

UNIT-agreement:

  Yes, is included in a major UNIT-agreement

Scientific level placements and Norwegian HEIs publication points

Year Scientific level Author shares Publication points
2020 1 - -
2019 1 - -
2018 2 0.3333 2.2517
2017 2 0.0 0.0
2016 2 0.0 0.0
2015 2 0.0 0.0
2014 2 0.0 0.0
2013 2 0.0 0.0
2012 2 0.0 0.0
2011 2 0.0 0.0
2010 2 0.0 0.0
2009 2 0.0 0.0
2008 1 0.5 0.5
2007 1 1.0 1.0
2006 2 0.0 0.0
2005 2 0.0 0.0
2004 2 0.0 0.0

Log in to comment