Journal of Automated Reasoning, Volume 55

Volume 55, Number 1, June 2015

Volume 55, Number 2, August 2015

Volume 55, Number 3, October 2015

Special Issue: 40 Years of Mizar and Beyond

Volume 55, Number 4, December 2015

maintained by Schloss Dagstuhl LZI at University of Trier