default search action
Archive of Formal Proofs, Volume 2004
Volume 2004, 2004
- Tom Ridge:
A Mechanically Verified, Efficient, Sound and Complete Theorem Prover For First Order Logic.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2015-03-04 23:01 CET by the dblp team