7th International Conference on Automated Deduction Napa, California, USA, May 14 - 16, 1984 ; proceedings

“… International Conference on Automated Deduction Napa, Calif …”

Proceedings Napa, California, USA, May 14 - 16, 1984

“… International Conference on Automated Deduction Napa, Calif …”
DE-384
DE-19
DE-703
DE-739
Volltext

7th International Conference on Automated Deduction Napa, California, USA May 1416, 1984 ; proceedings

“… International Conference on Automated Deduction Napa, Calif …”
DE-12
DE-634
DE-526
DE-210
DE-521
DE-1046
DE-Aug4
DE-573
DE-M347
DE-859
DE-860
DE-523
DE-70
DE-91
DE-473
DE-19
DE-355
DE-703
DE-706
DE-29
DE-739
Volltext