Carnegie Mellon University
Browse

An Experimental Comparison of Alternative Proof Construction Environments

Download (976.79 kB)
journal contribution
posted on 1993-08-01, 00:00 authored by Richard Scheines, Wilfried Sieg
Richard Scheines and Wilfred Sieg. An Experimental Comparison of Alternative Proof Construction Environments.

History

Publisher Statement

All Rights Reserved

Date

1993-08-01

Usage metrics

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC