Institutional Repository
Filter by: Subject
Login
UnisaIR Home
→
College of Science, Engineering and Technology
→
Filter by: Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Filter by: Subject
Results Per Page:
5
10
20
40
60
80
100
Now showing items 1-10 of 1
Next Page
006.3 (1)
Artificial intelligence (1)
Automatic theorem proving (1)
Classical propositional logic (1)
Global logical entailment (1)
Local logical entailment (1)
Logic, Symbolic and mathematical (1)
Modality (Logic) (1)
Proof theory (1)
Proposition logic (1)
Now showing items 1-10 of 1
Next Page
Search UnisaIR
Search UnisaIR
This Community
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