Login
Unisa Institutional Repository
UnisaIR Home
College of Science, Engineering & Technology
School of Computing
Search
Search
Search
Filters
Selected filters:
Selected filters
Date Issued: 1999 - 1999
Add Filters:
Title
Author
Subject
Date issued
Abstract
Advisor
Department
Description
Type
Use filters to refine the search results.
Sort options
Results/page
5
10
20
40
60
80
100
Sort items by
relevance
Title
Issue Date
in order
ascending
descending
Search Results for Community: School of Computing
Now showing items 1-1 of 1
1
Heuristics for resolution-based set-theoretic proofs
Van der Poll, J.A.
;
Labuschagne, W.A.
(
1999-07
)
Now showing items 1-1 of 1
1
Search UnisaIR
Search UnisaIR
This Collection
Browse
All of UnisaIR
Communities & Collections
By Issue Date
Authors
Titles
Subjects
Advisor
Type
This Community
By Issue Date
Authors
Titles
Subjects
Advisor
Type
My Account
Login
Register
Statistics
View Statistics
Discover
Author
Labuschagne, W.A. (1)
Van der Poll, J.A. (1)
Subject
Heuristics (1)
Problem frames (1)
Resolution-based set-theoretic proofs (1)
Resolution (1)
Set theories (1)
Theorem-proving (1)
Date Issued
1999 (1)