Journal of Automated Reasoning (JAR), Volume 3

Volume 3, Number 1, 1987

Basic Research Problems Problem Corner:

Volume 3, Number 2, 1987

Basic Research Problems Problem Corner

Volume 3, Number 3, 1987

Basic Research Problems Problem Corner

Volume 3, Number 4, 1987

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