Title: Theorem Proving in Higher Order Logics
Subjects: Logic design, Computational complexity, Computer science, Computer software, Automatic theorem proving, Congresses, Logic programming