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
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: School of Computing.
(0.008 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
Towards teaching computer ethics
De Ridder, C
;
Pretorius, L
;
Barnard, A
(
2001
)
Applied Lambda calculus. Using a type theory based proof assistant
Pretorius, L
(
South African Computer Society (SAICSIT)
,
1998
)
Introduction to computability theory
Zucker, J
;
Pretorius, L
(
South African Computer Society (SAICSIT)
,
1993
)
Finite-state computational morphology - treatment of the Zulu noun
Pretorius, L
;
Bosch, SE
(
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
Pretorius, L (4)
Barnard, A (1)
Bosch, SE (1)
De Ridder, C (1)
Zucker, J (1)
Subject
Agglutinating languages (1)
Applied lambda calculus (1)
Church-Turing thesis (1)
Computability (1)
Computational morphology (1)
Computer ethics (1)
Computer Science education (1)
Coq (1)
Curriculum studies (1)
Finite-state technology (1)
... View More
Date Issued
2001 (2)
1993 (1)
1998 (1)
Has File(s)
Yes (4)