dblp.uni-trier.de www.uni-trier.de

20. CADE 2005: Tallinn, Estonia

Robert Nieuwenhuis (Ed.): Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings. Lecture Notes in Computer Science 3632 Springer 2005, ISBN 3-540-28005-7 BibTeX

Copyright © Sat May 16 23:00:06 2009 by Michael Ley (ley@uni-trier.de)