Projekter pr. år
Originalsprog | Engelsk |
---|---|
Titel | Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings |
Redaktører | Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz |
Udgivelsessted | Berlin |
Forlag | Springer |
Publikationsdato | 2016 |
Sider | 125-144 |
ISBN (Trykt) | 978-3-662-52920-1 |
ISBN (Elektronisk) | 978-3-662-52921-8 |
DOI | |
Status | Udgivet - 2016 |
Begivenhed | 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016) - Complejo Cultural Universitario of BUAP, Puebla, Mexico Varighed: 16 aug. 2016 → 19 aug. 2016 http://www.wollic.cs.buap.mx/ |
Workshop
Workshop | 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016) |
---|---|
Lokation | Complejo Cultural Universitario of BUAP |
Land/Område | Mexico |
By | Puebla |
Periode | 16/08/2016 → 19/08/2016 |
Internetadresse |
Navn | Lecture Notes in Computer Science |
---|---|
Vol/bind | 9803 |
ISSN | 0302-9743 |
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