Intet foto af Torben Braüner

Torben Braüner

ph.d. & dr.scient.

  • Universitetsvej 1, 10.1

    DK-4000 Roskilde

    Danmark

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

Publikationer 1999 2020

Filter
Doktordisputats
2009

Hybrid Logic and Its Proof-Theory

Braüner, T., 2009, Roskilde: Roskilde Universitet. 318 s. (Roskilde Universitet. Computer Science. Computer Science Research Report; Nr. 124).

Publikation: Bog/antologi/afhandling/rapportDoktordisputatsForskning