Conversion of resolution proofs into natural deduction proofs: a study of natural deduction systems

Hans Bosma

    Research output: Book/ReportReportProfessional

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages96
    Publication statusPublished - 1990

    Publication series

    NameMemoranda informatica
    PublisherUniversity of Twente, Department of Computer Science
    No.90-11
    ISSN (Print)0924-3755

    Cite this