Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning

visit
authority control:
export records of this stream
first 1000 hits only:
- XML
- JSON
- JSONP
- RSS
- BibTeX
see FAQ:
- How to use the dblp search API?
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

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

Venue Information

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

JAR @ SpringerLink

Association for Automated Reasoning

2024: Volumes 68
2023: Volumes 67
2022: Volumes 66
2021: Volumes 65
2020: Volumes 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

a service of

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.