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