Intet foto af Torben Braüner
 

Torben Braüner

ph.d. & dr.scient.

  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

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

Projekter 2005 2019

Afsluttet

Hybrid-Logical Proofs at Work in Cognitive Psychology

Braüner, T., Blackburn, P. R. & Polyanskaya, I.

VELUX FONDEN

01/01/2014 → 30/04/2019

Projekter: Projekt › Forskning

HYLOCORE: Hybrid Logic, Computation, and Reasoning Methods

Braüner, T., Bolander, T., Goranko, V., Blackburn, P. & Areces, C.

The Danish Natural Science Research Council

01/01/2009 → 31/12/2013

Projekter: Projekt › Forskning

HyLoMOL: Hybrid Logic Meets Other Logics

Braüner, T., Bolander, T., Villadsen, J., Blackburn, P. & de Paiva, V.

The Danish Natural Science Research Council

01/01/2005 → 31/12/2008

Projekter: Projekt › Forskning