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 - Dines Bjørner - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Add to Reading List Document Date: 2012-05-01 10:35:19 Open Document File Size: 162,47 KB Share Result on Facebook

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.LyngbyAdd to Reading List