Synthese, Volume 143

Volume 143, Numbers 1-2, January 2005

Volume 143, Number 3, February 2005

a service of Schloss Dagstuhl - Leibniz Center for Informatics