Projekter pr. år
Originalsprog | Engelsk |
---|---|
Publikationsdato | 2015 |
Status | Udgivet - 2015 |
Begivenhed | Conference on Computing Natural Reasoning - Indiana University, Bloomington, USA Varighed: 19 jul. 2015 → 20 jul. 2015 http://www.indiana.edu/~iulg/wollic/coconat.htm |
Konference
Konference | Conference on Computing Natural Reasoning |
---|---|
Lokation | Indiana University |
Land/Område | USA |
By | Bloomington |
Periode | 19/07/2015 → 20/07/2015 |
Internetadresse |
Projekter
- 1 Afsluttet
-
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T., Blackburn, P. R. & Polyanskaya, I.
01/01/2014 → 30/04/2019
Projekter: Projekt › Forskning