Search alternatives:
"prover" » "proven", "proved", "proves"
Cover Image
Read Now

1
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Program Logic of Objects in a Higher-Order Logic Theorem Prover -- A Strong and Mechanizable Grand Logic...”