Title: 9th International Conference on Automated Deduction
Subjects: Automatic theorem proving, Congresses, Symbolic and mathematical Logic, Redeneren, Computersystemen, Deductie, Théorèmes, Congrès, Démonstration automatique, Logique symbolique et mathématique, Inteligência artificial (c0mputação)