Original language | English |
---|---|
Qualification | Doctor of Philosophy |
Awarding Institution |
|
Supervisors/Advisors |
|
Award date | 19 Jun 1996 |
Place of Publication | Utrecht |
Publisher | |
Print ISBNs | 90-393-1354-7 |
Publication status | Published - 19 Jun 1996 |
Keywords
- Wiskunde en Informatica (WIIN)
- modale logica
- formele talen
- kunstmatige intelligentie