| Date of Award | 30 Sept 1987 |
|---|---|
| Original language | English |
| Supervisor | M. Rem (Supervisor 1) |
Distributed evaluation in Pool-T of Horn clauses
Student thesis: Master
Student thesis: Master
| Date of Award | 30 Sept 1987 |
|---|---|
| Original language | English |
| Supervisor | M. Rem (Supervisor 1) |