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

Journal of Automated Reasoning (JAR), Volume 12

Volume 12, Number 1, 1994

Volume 12, Number 2, 1994

Volume 12, Number 3, 1994

Acknowledgement: The information on this page was provided by Camilla Schwind.

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