Journal of Automated Reasoning (JAR), Volume 45

Volume 45, Number 1, June 2010

Special Issue: Uncertain Reasoning

Volume 45, Number 2, August 2010

Selected Papers from the 4th International Joint Conference on Automated Reasoning

Volume 45, Number 3, October 2010

Volume 45, Number 4, December 2010

Tests and Proofs
maintained by Schloss Dagstuhl LZI at University of Trier