Title: Theorem proving in higher order logics
First published: 1997
Subjects: Congresses, Automatic theorem proving, Ciencia da computacao ou informatica, Symbolic and mathematical Logic, Automatische bewijsvoering, Software engineering, Inteligencia artificial (computacao), Logic design, Logica, Computer science, Congres, Demonstration automatique, Theoremes, Logic, symbolic and mathematical
LC classification: QA76.9.A96 I577 1997