Rajaa
Hakutulokset: 354019343X
Rajaa
yksi hakutulos.
9th International Conference on Automated Deduction
nidottu,
1988,
englanti,
ISBN 9783540193432
This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. …