Journal of Automated Reasoning
JAR @ SpringerLink
Association for Automated Reasoning
- 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
Last update Fri May 25 09:28:55 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
