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

maintained by Schloss Dagstuhl LZI, founded at University of Trier