Title: Computational logic and proof theory
Subjects: Symbolic and mathematical Logic, Theoremes, Theorie de la Preuve, Kunstmatige intelligentie, Logica, Congresses, Logique symbolique et mathematique, Automatic theorem proving, Congres, Demonstration automatique, Computer science, Artificial intelligence, Computer Science, Logic, symbolic and mathematical