Journal of Automated Reasoning, Volume 53

Refine list

showing all ?? records

Volume 53, Number 1, June 2014

Volume 53, Number 2, August 2014

Volume 53, Number 3, October 2014

Volume 53, Number 4, December 2014

a service of  Schloss Dagstuhl - Leibniz Center for Informatics