Unisa Institutional Repository

UnisaIR Home
College of Science, Engineering & Technology
School of Computing
Research Articles (Computing)
Browsing Research Articles (Computing) by Subject

Browsing Research Articles (Computing) by Subject "Resolution"

Now showing items 1-2 of 2

Heuristics for resolution-based set-theoretic proofs

Van der Poll, J.A.; Labuschagne, W.A. (1999-07)
A multi-level Marketing case study : specifying forests and trees in Z

Van der Poll, J.A.; Kotze, P. (2003-06)

Now showing items 1-2 of 2

Search UnisaIR

Browse

All of UnisaIR
This Collection
- By Issue Date
- Authors
- Titles
- Subjects
- Advisor
- Type

My Account

Statistics

View Statistics