UnisaIR Home
→
College of Science, Engineering and Technology
→
School of Computing
→
SAICSIT Digital Archive
→
South African Computer Journal (SACJ)
→
South African Computer Journal 1993(9)
→
Search

Search

Filters

Use filters to refine the search results.

Current Filters:






New Filters:

Showing 1 out of a total of 1 results for collection: South African Computer Journal 1993(9). (0.005 seconds)

Now showing items 1-1 of 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Deduction systems based on resolution

Eisinger, N; Ohlbach, HJ (South African Computer Society (SAICSIT), 1993)

Now showing items 1-1 of 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Browse

All of UnisaIR
This Collection
- By Issue Date
- Authors
- Titles
- Subjects
- Advisor
- Type

My Account

Discover

Author
- Eisinger, N (1)
- Ohlbach, HJ (1)
Subject
- Automated reasoning (1)
- Deduction (1)
- Resolution principle (1)
- ... View More
Date Issued
- 1993 (1)
Has File(s)
- Yes (1)