Institutional Repository

Browsing South African Computer Journal 1993(9) by Subject "Deduction"

Browsing South African Computer Journal 1993(9) by Subject "Deduction"

Sort by: Order: Results:

  • Eisinger, N; Ohlbach, HJ (South African Computer Society (SAICSIT), 1993)
    A general theory of deduction systems is presented The theory is illustrated with deduction systems based on the resolution calculus, in particular with clause graphs. This theory distinguishes four constituents of a ...

Search UnisaIR


Browse

My Account