Journal of Automated Reasoning
Association for Automated Reasoning
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team