Institutional Repository
Search
Login
UnisaIR Home
→
College of Science, Engineering and Technology
→
School of Computing
→
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
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 10 out of a total of 20 results for community: School of Computing.
(0.039 seconds)
Now showing items 1-10 of 20
1
2
Next Page
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Proof systems for propositional modal logic
Van der Vyver, Thelma
(
1997-11
)
The forecasting of transmission network loads
Payne, Daniel Frederik
(
1997-11
)
Logics of belief
Viljoen, Elizabeth
(
1997-04
)
Model checking software with symbolic trajectory evaluation
Hazelhurst, S
(
1997
)
A risk model to allocate resources to different computerised systems
Kruger, HA
;
Hattingh, JM
(
1997
)
Verification of finite state systems with temporal logic model checking
Schlingloff, B
(
South African Computer Society (SAICSIT)
,
1997
)
Application-oriented program semantics
McIver, AK
;
Morgan, C
;
Sanders, JW
(
South African Computer Society (SAICSIT)
,
1997
)
Reasoning about changing information
Blackburn, P
;
Jaspars, J
;
De Rijke, M
(
South African Computer Society (SAICSIT)
,
1997
)
Word prediction strategies in program editing environments
Sanders, I
;
Tsai, C
(
South African Computer Society (SAICSIT)
,
1997
)
Theory meets practice. Using Smith's normalization in complex systems
Van der Merwe, AJ
;
Labuschagne, WA
(
South African Computer Society (SAICSIT)
,
1997
)
Now showing items 1-10 of 20
1
2
Next Page
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
Kotze, P (2)
Olivier, MS (2)
Blackburn, P (1)
Brink, C (1)
De Rijke, M (1)
De Villiers, M.R. (Ruth) (1)
De Villiers, R (1)
Hattingh, J.M. (1)
Hazelhurst, S (1)
Jaspars, J (1)
... View More
Subject
006.3 (2)
Artificial intelligence (2)
Modal logic (2)
003.2 (1)
Abstraction (1)
Agent (1)
AGM postulates (1)
Autoepistemic logic (1)
Automatic theorem proving (1)
Belief revision (1)
... View More
Date Issued
1997 (20)
Has File(s)
Yes (20)