Carnegie Mellon University
Browse

The programmable strategy theorem prover : an implementation of the linear MESON procedure

Download (2.27 MB)
journal contribution
posted on 2014-08-11, 00:00 authored by M. E.(Mark E.) Stickel
Computer Science Department

History

Date

2014-08-11

Usage metrics

    Categories

    Keywords

    Automatic theorem proving.Predicate calculus.Information and Computing Sciences not elsewhere classified

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC