Journal of Automated Reasoning (JAR), Volume 43

Refine list

showing all ?? records

Volume 43, Number 1, June 2009

Volume 43, Number 2, August 2009

Volume 43, Number 3, October 2009

Special Issue: Computer Assisted Reasoning: A Festschrift for Michael J. C. Gordon

Volume 43, Number 4, December 2009

a service of  Schloss Dagstuhl - Leibniz Center for Informatics