Journal of Automated Reasoning (JAR), Volume 6

Volume 6, Number 1, March 1990

Basic Research Problems Problem Corner

Volume 6, Number 2, June 1990

Basic Research Problems Problem Corner

Volume 6, Number 3, September 1990

Basic Research Problems Problem Corner

Volume 6, Number 4, December 1990

Basic Research Problems Problem Corner
maintained by Schloss Dagstuhl LZI, founded at University of Trier