Programming, Logic and Intelligent Systems

Projects 2005 2019

Filter
Active
Active

Hybrid-Logical Proofs at Work in Cognitive Psychology

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

VELUX FONDEN

01/01/2014 → 25/05/2019

Project: Research