Siirry suoraan sisältöön
9th International Conference on Automated Deduction
Tallenna

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.
Alaotsikko
Argonne, Illinois, USA, May 23-26, 1988. Proceedings
Painos
1988 ed.
ISBN
9783540193432
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
4.5.1988
Sivumäärä
776