Journal of Automated Reasoning, Volume 47

Refine list

showing all ?? records

Volume 47, Number 1, June 2011

Volume 47, Number 2, August 2011

Special Issue of Selected Extended Papers of CADE-22 / Guest Edited by Renate A. Schmidt and Brigitte Pientka

Volume 47, Number 3, October 2011

Volume 47, Number 4, December 2011

Special Issue on Selected Papers from the 5th International Joint Conference on Automated Reasoning
a service of  Schloss Dagstuhl - Leibniz Center for Informatics