Date of Award | 31 Oct 1988 |
---|---|
Original language | Dutch |
Supervisor | M.P.J. Stevens (Supervisor 1) |
Het ontwerp van een logische simulator/verificator in Prolog
Student thesis: Master
Student thesis: Master
Date of Award | 31 Oct 1988 |
---|---|
Original language | Dutch |
Supervisor | M.P.J. Stevens (Supervisor 1) |