Journal of Automated Reasoning (JAR), Volume 45

Refine list

showing all ?? records

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
a service of  Schloss Dagstuhl - Leibniz Center for Informatics