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

Journal of Automated Reasoning (JAR), Volume 9

Volume 9, Number 1, August 1992

Studies in Automated Reasoning Basic Research Problems

Volume 9, Number 2, October 1992

Basic Research Problems

Volume 9, Number 3, 1992

Studies in Automated Reasoning Basic Research Problems

Last update Mon May 20 01:08:54 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