Institutional Repository
Search
Login
UnisaIR Home
→
College of Science, Engineering and Technology
→
Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search
Filters
Use filters to refine the search results.
Current Filters:
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
New Filters:
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Showing 4 out of a total of 4 results for community: College of Science, Engineering and Technology.
(0.014 seconds)
Now showing items 1-4 of 4
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Validating reasoning heuristics using next generation theorem provers
Steyn, Paul Stephanes
(
2009-01
)
Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations
Moremedi, Kobamelo
(
2015
)
Heuristics for resolution-based set-theoretic proofs
Van der Poll, JA
;
Labuschagne, WA
(
South African Computer Society (SAICSIT)
,
1999
)
The specification of a multi-level marketing business
Van der Poll, JA
;
Kotze, P
(
2001
)
Now showing items 1-4 of 4
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
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
Discover
Author
Van der Poll, JA (2)
Kotze, P (1)
Labuschagne, WA (1)
Moremedi, Kobamelo (1)
Steyn, Paul Stephanes (1)
Subject
Set theory (4)
Z (4)
Formal specification (3)
Resolution (3)
Automated reasoning (2)
Heuristics (2)
004.0151 (1)
005.1 (1)
Automated theorem proving (1)
Case study (1)
... View More
Date Issued
2010 - 2015 (1)
2000 - 2009 (2)
1999 - 1999 (1)
Has File(s)
Yes (4)