...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.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

Dines Bjorner
Fri Sep 5 08:26:58 MET DST 1997