Projekter pr. år
Projekter
- 3 Afsluttet
Søgeresultater
-
Afsluttet
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T. (Projektdeltager), Blackburn, P. R. (Projektdeltager) & Polyanskaya, I. (Projektdeltager)
01/01/2014 → 30/04/2019
Projekter: Projekt › Forskning
-
HYLOCORE: Hybrid Logic, Computation, and Reasoning Methods
Braüner, T. (Projektdeltager), Bolander, T. (Projektdeltager), Goranko, V. (Projektdeltager), Blackburn, P. (Projektdeltager) & Areces, C. (Projektdeltager)
The Danish Natural Science Research Council
01/01/2009 → 31/12/2013
Projekter: Projekt › Forskning
-
HyLoMOL: Hybrid Logic Meets Other Logics
Braüner, T. (Anden), Bolander, T. (Projektdeltager), Villadsen, J. (Projektdeltager), Blackburn, P. (Projektdeltager) & de Paiva, V. (Projektdeltager)
The Danish Natural Science Research Council
01/01/2005 → 31/12/2008
Projekter: Projekt › Forskning