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

Journal of Automated Reasoning (JAR), Volume 18

Volume 18, Number 1, February 1997

Volume 18, Number 2, April 1997

The CADE-13 Automated Theorem Proving System Competition

Volume 18, Number 3, June 1997

Last update Fri May 24 20:31:35 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page