Torben Braüner

ph.d. & dr.scient.

Professor (MSO), Institut for Mennesker og Teknologi
Professor (MSO), Programmering, logik og intelligente systemer

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

Universitetsvej 1, 10.1
DK-4000 Roskilde
Danmark

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

Publikationer 1999 2020

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

Din meddelelse er sendt korrekt.

Din meddelelse kunne ikke sendes pga. en fejl.