UnisaIR Home
→
College of Science, Engineering and Technology
→
School of Computing
→
SAICSIT Digital Archive
→
SAICSIT Proceedings: 1979-2001
→
2001 National Research and Development Conference
→
Filter by: Subject

Filter by: Subject

Now showing items 1-7 of 1

Automated reasoning (1)
Formal specification (1)
Multi-level marketing (1)
OTTER (1)
Resolution (1)
Set theory (1)
Z (1)

Now showing items 1-7 of 1

Search UnisaIR

Browse

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

My Account