Torben Braüner - Publikationer - Roskilde Universitets forskningsportal

Telefon+45 4674 3840
E-mailtorbenrucdk
Webstedhttp://webhotel4.ruc.dk/~torben/

Universitetsvej 1, 44.3
DK-4000 Roskilde
Danmark

1 resultater

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