Title: Theorem proving in higher order logics
First published: 2002
Subjects: Congresses, Automatic theorem proving
LC classification: QA76.9.A96 T655 2002