UnisaIR Home
→
College of Science, Engineering and Technology
→
School of Computing
→
SAICSIT Digital Archive
→
South African Computer Journal (SACJ)
→
South African Computer Journal 1999(23)
→
Filter by: Subject

Filter by: Subject

Now showing items 1-7 of 1

Heuristics (1)
Problem frames (1)
Resolution (1)
Set theory (1)
Theorem-proving (1)
Z (1)
ZF (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