Journal of Automated Reasoning

ISSN: 0168-7433 (Print) 1573-0670 (Online)

All Volumes & Issues

  • Volumes

Volume 56 January 2016 - April 2016

Volume 55 June 2015 - December 2015

Volume 51 June 2013 - December 2013

Volume 50 January 2013 - April 2013

Volume 49 June 2012 - December 2012

Volume 48 January 2012 - April 2012

Volume 47 June 2011 - December 2011

Volume 46 January 2011 - April 2011

Volume 45 June 2010 - December 2010

Volume 44 February 2010 - April 2010

Volume 43 June 2009 - December 2009

Volume 42 January 2009 - April 2009

Volume 41 July 2008 - November 2008

Volume 40 January 2008 - May 2008

Volume 39 July 2007 - December 2007

Volume 38 April 2007 - May 2007

Volume 37 August 2006 - November 2006

Volume 36 January 2006 - April 2006

Volume 35 October 2005 - November 2005

Volume 34 January 2005 - December 2005

Volume 33 July 2004 - October 2004

Volume 20 April 1998 - June 1998

Volume 16 March 1996 - June 1996