Journal of Automated Reasoning

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

visit
authority control:
export stream metadata
export records of this stream
first 1000 hits only:
BHT key:
- db/journals/jar/index.bht
stream key:
- streams/journals/jar
ask others
view this stream in
- dblp search
share bibliography
persistent URL:
- https://dblp.org/streams/journals/jar
help us
- How can I correct errors in dblp?
- contact dblp

> Home > Journals

SPARQL queries

Venue statistics

document access

frequent authors

Venue Information

ISO 4 abbr.: J. Autom. Reason.
issn: 0168-7433 (print); 1573-0670 (online)

2026: Volume 70
2025: Volume 69
2024: Volume 68
2023: Volume 67
2022: Volume 66
2021: Volume 65
2020: Volume 64
2019: Volumes 62, 63
2018: Volumes 60, 61
2017: Volumes 58, 59
2016: Volumes 56, 57
2015: Volumes 54, 55
2014: Volumes 52, 53
2013: Volumes 50, 51
2012: Volumes 48, 49
2011: Volumes 46, 47
2010: Volumes 44, 45
2009: Volumes 42, 43
2008: Volumes 40, 41
2007: Volumes 38, 39
2006: Volumes 36, 37
2005: Volumes 34, 35
2004: Volumes 32, 33
2003: Volumes 30, 31
2002: Volumes 28, 29
2001: Volumes 26, 27
2000: Volumes 24, 25
1999: Volumes 22, 23
1998: Volumes 20, 21
1997: Volumes 18, 19
1996: Volumes 16, 17
1995: Volumes 14, 15
1994: Volumes 12, 13
1993: Volumes 10, 11
1992: Volumes 8, 9
1991: Volume 7
1990: Volume 6
1989: Volume 5
1988: Volume 4
1987: Volume 3
1986: Volume 2
1985: Volume 1

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.