Gå direkte til innholdet
9th International Conference on Automated Deduction
Spar

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.
Undertittel
Argonne, Illinois, USA, May 23-26, 1988. Proceedings
Opplag
1988 ed.
ISBN
9783540193432
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
4.5.1988
Antall sider
776