International Conference on Automated Deduction (8th 1986 Oxford, England)

• 8th International Conference on Automated Deduction
• 8th International Conference on Automated Deduction, Oxford, England,July 27-August 1, 1986