Title: Theorem proving in higher order logics
Subjects: Congresses, Automatic theorem proving, Congres, Theoremes, Linguagens formais e automatos, HOL, Kongress, Logica, Automatisches Beweisverfahren, Logica matematica, Demonstration automatique, Automatische bewijsvoering, Logic, symbolic and mathematical