- ...ID/DTH
- - hele ID/DTH
indgik for nogle år tilbage i det da nyoprettede IT/DTU.
Herefter benyttes betegnelsen IT/DTU for ``ID/DTH'' forhold efter 1994
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...1973.
- Heraf
fulgte VDM som nævnt i afsnit 1.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...systemer.
- Algorithmic
vs. Knowledge-based Systems - Do they Unify?
Inviteret foredrag ved 10 års konferencen for det Japanske
Femte Generations Datamat Projekt, Tokyo, Oktober 1991.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.