Intet foto af Torben Braüner
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

19992019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 1999 2019

Filter
Rapport
2003

Towards constructive hybrid logic

Braüner, T. & de Paiva, V., 2003, Roskilde: Roskilde Universitet. 26 s. (Datalogiske Skrifter; Nr. 97).

Publikation: Bog/antologi/afhandling/rapportRapportForskning