Carnegie Mellon University
Browse

Searching for Proofs (in Sentential Logic)

Download (1.14 MB)
journal contribution
posted on 1990-03-01, 00:00 authored by Wilfried Sieg
Wilfred Sieg. Searching for Proofs (in Sentential Logic).

History

Publisher Statement

All Rights Reserved

Date

1990-03-01

Usage metrics

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC