Title: Theorem Proving in Higher Order Logics
Subjects: Logic design, Artificial intelligence, Computer science, Software engineering, Automatic theorem proving, Congresses, Logic, symbolic and mathematical