International Conference on Automated Deduction (7th 1984 Napa, Calif.)

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