Date: 2012-05-01 10:35:19

1 Towards a Theory of Domain Descriptions — Bergen 8 May Mini-course Notes — Dines Bjørner DTU Informatics, Techn.Univ.of Denmark, DK–2800 Kgs.Lyngby

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 162,47 KB