Equational Proofs in Tableaux en Logic Programming

  • E.A. de Kogel

    Research output: Thesis › Doctoral Thesis

    765 Downloads (Pure)
    Original languageEnglish
    QualificationDoctor of Philosophy
    Supervisors/Advisors
    • Nederpelt, R.P., Co-promotor, External person
    • de Swart, Harrie, Promotor
    Award date24 May 1995
    Place of Publications.l.
    Publisher
    Publication statusPublished - 1995

    Access to Document

      Cite this