Projects per year
Original language | English |
---|---|
Publication date | 2015 |
Publication status | Published - 2015 |
Event | Conference on Computing Natural Reasoning - Indiana University, Bloomington, United States Duration: 19 Jul 2015 → 20 Jul 2015 http://www.indiana.edu/~iulg/wollic/coconat.htm |
Conference
Conference | Conference on Computing Natural Reasoning |
---|---|
Location | Indiana University |
Country/Territory | United States |
City | Bloomington |
Period | 19/07/2015 → 20/07/2015 |
Internet address |
Projects
- 1 Finished
-
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T. (Project participant), Blackburn, P. R. (Project participant) & Polyanskaya, I. (Project participant)
01/01/2014 → 30/04/2019
Project: Research