Gå direkt till innehållet
9th International Conference on Automated Deduction
Spara

9th International Conference on Automated Deduction

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.
Undertitel
Argonne, Illinois, USA, May 23-26, 1988. Proceedings
Upplaga
1988 ed.
ISBN
9783540193432
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1988-05-04
Sidor
776