Torben Braüner

ph.d. & dr.scient.

Lektor, Institut for Mennesker og Teknologi
Lektor, Programmering, logik og intelligente systemer

Telefon+45 46 74 38 40
E-mailtorben@ruc.dk
Webstedhttp://www.ruc.dk/~torben

Universitetsvej 1, 08.2
DK-4000 Roskilde
Danmark

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

Publikationer 1999 2019

1 resultater
Udgivelsesår, titel (faldende)

Filter

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/rapport › Doktordisputats › Forskning