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

Journal of Automated Reasoning (JAR), Volume 20

Volume 20, Number 1/2, April 1998

Logics for Artificial Intelligence

Volume 20, Number 3, June 1998

Studies in Automated Reasoning Research Articles

Copyright © Mon Nov 2 21:43:12 2009 by Michael Ley (ley@uni-trier.de)