Journal of Automated Reasoning, Volume 50

Volume 50, Number 1, January 2013

Volume 50, Number 2, February 2013

Special Issue: Formal Mathematics for Mathematicians

Volume 50, Number 3, March 2013

Volume 50, Number 4, April 2013

maintained by Schloss Dagstuhl LZI at University of Trier