Journal of Automated Reasoning
JAR Home Page by Springer
Association for Automated Reasoning
- 2009: Volumes 42,
...
- 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
Copyright © Sun May 17 00:06:27 2009
by Michael Ley (ley@uni-trier.de)
