Institutional Repository
Search
Login
UnisaIR Home
→
College of Science, Engineering and Technology
→
School of Computing
→
SAICSIT Digital Archive
→
South African Computer Journal (SACJ)
→
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
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: South African Computer Journal (SACJ).
(0.007 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
On using the situation calculus dynamically rather than temporally
Labuschagne, W.A.
;
Miller, MG
(
South African Computer Society (SAICSIT)
,
1994
)
Data-dependence of semantic information
Heidema, J
;
Labuschagne, W.A.
(
South African Institute of Computer Scientists and Information Technologists
,
1990
)
A family tree of circumscriptive logics
Halland, KJ
;
Labuschagne, W.A.
(
South African Computer Society (SAICSIT)
,
1995
)
Logic programming: ideal vs practice
Labuschagne, W.A.
;
Van der Westhuizen, PL
(
South African Computer Society (SAICSIT)
,
1992
)
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
Labuschagne, W.A. (4)
Halland KJ (1)
Heidema, J (1)
Miller, MG (1)
Van der Westhuizen, PL (1)
Subject
Circumscription (2)
Automorphism (1)
Boolean algebra (1)
Clause (1)
Closed world assumption (1)
Completed database (1)
Frame problem (1)
Information (1)
Logic (1)
Logic programming (1)
... View More
Date Issued
1990 (1)
1992 (1)
1994 (1)
1995 (1)
Has File(s)
Yes (4)