Title: Theorem proving in higher order logics
Subjects: Congresses, Automatic theorem proving, Logic design, Artificial intelligence, Computer science, Software engineering, Logic programming