Journal of Automated Reasoning, Volume 60

Refine list

showing all ?? records

Volume 60, Number 1, January 2018

Special Issue: Selected Extended Papers of NFM 2016

Volume 60, Number 2, February 2018

Volume 60, Number 3, March 2018

Special Issue: Selected Extended Papers of VSTTE 2016

Volume 60, Number 4, April 2018

a service of  Schloss Dagstuhl - Leibniz Center for Informatics