Title: Proceedings
Subjects: Automatic theorem proving, Congresses, Symbolic and mathematical Logic, Theoremes, Automatisches Beweisverfahren, Logique symbolique et mathematique, Congres, Inteligencia artificial (conmputacʹao), Demonstration automatique