7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings - Shostak, Robert, 1931- (Lecture notes in computer science ;, 1984)