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

Journal of Automated Reasoning (JAR), Volume 36

Volume 36, Numbers 1-2, January 2006

Volume 36, Number 3, April 2006

Volume 36, Number 4, April 2006

Empirically Successful Automated Reasoning: Systems Issue

Copyright © Sun May 17 00:06:25 2009 by Michael Ley (ley@uni-trier.de)