Journal of Automated Reasoning (JAR), Volume 44

Refine list

showing all ?? records

Volume 44, Numbers 1-2, February 2010

Special Issue: Programming Languages and Mechanized Mathematics Systems

Volume 44, Number 3, March 2010

Volume 44, Number 4, April 2010

a service of  Schloss Dagstuhl - Leibniz Center for Informatics