AnnoDomini: From Type Theory to Year 2000 Conversion Tool
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
Originalsprog | Engelsk |
---|---|
Tidsskrift | European Research Consortium for Informatics and Mathematics |
Udgave nummer | Vol. 36 |
Sider (fra-til) | 12-13 |
Status | Udgivet - 1998 |
ID: 207035