Meta-logiske teorier i datalogien
Project: PhD
- Villadsen, Jørgen (Phd Student)
- Nilsson, Jørgen Fischer (Main Supervisor)
- Jensen, Hans Siggård (Examiner)
| Status | Completed |
|---|---|
| Period | 01-09-89 → 30-08-95 |
| Financing source | Internal funding (public) |
|---|---|
| Research programme | DTU-stipendium |
ID: 2291565