Annals of Mathematics and Artificial Intelligence, Volume 55

Volume 55, Numbers 1-2, February 2009

Special Issue on First-Order Theorem Proving

Volume 55, Numbers 3-4, April 2009

a service of Schloss Dagstuhl - Leibniz Center for Informatics