Journal of Formalized Reasoning, Volume 2

Volume 2, Number 1, 2009

Articles
maintained by Schloss Dagstuhl LZI at University of Trier