Institutional Repository

Browsing 2001 National Research and Development Conference by Subject "Automated reasoning"

Browsing 2001 National Research and Development Conference by Subject "Automated reasoning"

Sort by: Order: Results:

  • Van der Poll, JA; Kotze, P (2001)
    A formal specification of a multi-level marketing (MLM} business is presented. Specifying a MLM business boils down to specifying properties of and operations on mathematical forests and trees. The usefulness of the ...

Search UnisaIR


Browse

My Account