Cargando…

Logic, language, information, and computation: 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, proceedings

Detalles Bibliográficos
Autores principales:	Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy
Lenguaje:	eng
Publicado:	Springer 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755768

Ejemplares similares

24th Workshop on Logic, Language, Information and Computation—WoLLIC 2017
por: Kennedy, Juliette, et al.
Publicado: (2021)

25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018
por: Moss, Lawrence, et al.
Publicado: (2022)

Logics and admissible rules of constructive set theories
por: Iemhoff, Rosalie, et al.
Publicado: (2023)

Graph transformation: 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, proceedings
por: Guerra, Esther, et al.
Publicado: (2019)

Medical image understanding and analysis: 23rd conference, MIUA 2019, Liverpool, UK, July 24-26, 2019, proceedings
por: Zheng, Yalin, et al.
Publicado: (2020)

Model checking software: 26th international symposium, SPIN 2019, Beijing, China, July 15-16, 2019, proceedings
por: Biondi, Fabrizio, et al.
Publicado: (2019)

HCI international 2019 - posters: 21st international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings, part III
por: Stephanidis, Constantine
Publicado: (2019)

HCI international 2019 - posters: 21st international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings, part I
por: Stephanidis, Constantine
Publicado: (2019)

HCI international 2019 - posters: 21st international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings, part II
por: Stephanidis, Constantine
Publicado: (2019)

HCI international 2019 - late breaking posters: 21st HCI international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings
por: Stephanidis, Constantine, et al.
Publicado: (2019)

HCI international 2019 - late breaking papers: 21st HCI international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings
por: Stephanidis, Constantine
Publicado: (2019)

Statistics and data science: research school on statistics and data science, RSSDS 2019, Melbourne, VIC, Australia, July 24-26, 2019, proceedings
por: Nguyen, Hien
Publicado: (2020)

Data mining and big data: 4th international conference, DMBD 2019, Chiang Mai, Thailand, July 26-30, 2019, proceedings
por: Tan, Ying, et al.
Publicado: (2019)

Structural information and communication complexity: 26th international colloquium, SIROCCO 2019, L'Aquila, Italy, July 1-4, 2019, proceedings
por: Censor-Hillel, Keren, et al.
Publicado: (2019)

Methods for Evaluation of medical prediction Models, Tests And Biomarkers (MEMTAB) 2018 Symposium: Utrecht, The Netherlands. 2-3 July 2018
Publicado: (2018)

Advances in swarm intelligence: 10th international conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019, proceedings, part I
por: Tan, Ying, et al.
Publicado: (2019)

Advances in swarm intelligence: 10th international conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019, proceedings, part II
por: Tan, Ying, et al.
Publicado: (2019)

Artificial intelligence and security: 5th international conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, proceedings, part IV
por: Sun, Xingming, et al.
Publicado: (2019)

Artificial intelligence and security: 5th international conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, proceedings, part II
por: Sun, Xingming, et al.
Publicado: (2019)

Artificial intelligence and security: 5th international conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, proceedings, part I
por: Sun, Xingming, et al.
Publicado: (2019)

Artificial intelligence and security: 5th international conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, proceedings, part III
por: Sun, Xingming, et al.
Publicado: (2019)

Professor Henk Kummeling Rector Magnificus University of Utrecht Kingdom of the Netherlands
por: Ordan, Julien Marius
Publicado: (2019)

Requirements engineering: 24th international working conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, proceedings
por: Kamsties, Erik, et al.
Publicado: (2018)

HCI in games: first international conference, HCI-games 2019, held as part of the 21st HCI international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings
por: Fang, Xiaowen
Publicado: (2019)

Computing and combinatorics: 25th international conference, COCOON 2019, Xi'an, China, July 29-31, 2019, proceedings
por: Du, Ding-Zhu, et al.
Publicado: (2019)

Combinatorial algorithms: 30th international workshop, IWOCA 2019, Pisa, Italy, July 23-25, 2019, proceedings
por: Colbourn, Charles J, et al.
Publicado: (2019)

HCI for cybersecurity, privacy and trust: first international conference, HCI-CPT 2019, held as part of the 21st HCI international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings
por: Moallem, Abbas
Publicado: (2019)

Distributed, ambient and pervasive interactions: 7th international conference, DAPI 2019, held as part of the 21st HCI international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings
por: Streitz, Norbert, et al.
Publicado: (2019)

Agent-based technologies and applications for enterprise interoperability: international workshops, ATOP 2005, Utrecht, The Netherlands, July 25-26, 2005, and ATOP 2008, Estoril, Portugal, May 12-13, 2008, revised selected papers
por: Fischer, Klaus, et al.
Publicado: (2009)

Theory and applications of satisfiability testing - SAT 2019: 22nd international conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, proceedings
por: Janota, Mikolás, et al.
Publicado: (2019)

Logic for concurrency and synchronisation
por: Queiroz, Ruy
Publicado: (2003)

Human-computer interaction perspectives on design: thematic area, HCI 2019, held as part of the 21st HCI international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings, part I
por: Kurosu, Masaaki
Publicado: (2019)

Implementation and application of automata: 24th international conference, CIAA 2019, Kosice, Slovakia, July 22-25, 2019, proceedings
por: Hospodár, Michal, et al.
Publicado: (2019)

End-user development: 7th international symposium, IS-EUD 2019, Hatfield, UK, July 10-12, 2019, proceedings
por: Malizia, Alessio, et al.
Publicado: (2019)

Knowledge management in organizations: 14th international conference, KMO 2019, Zamora, Spain, July 15-18, 2019, proceedings
por: Uden, Lorna, et al.
Publicado: (2019)

Algebraic informatics: 8th international conference, CAI 2019, Nis, Serbia, June 30-july 4, 2019, proceedings
por: Ćirić, Miroslav, et al.
Publicado: (2019)

Simulation tools and techniques: 11th international conference, SIMUtools 2019, Chengdu, China, July 8-10, 2019, proceedings
por: Song, Houbing, et al.
Publicado: (2019)

Charm and beauty in Utrecht
Publicado: (2013)

Logic and its applications: 8th Indian conference, ICLA 2019, Delhi, India, March 1-5, 2019, proceedings
por: Khan, Aquil, et al.
Publicado: (2019)

Logics in artificial intelligence: 16th European conference, JELIA 2019, Rende, Italy, May 7-11, 2019, proceedings
por: Calimeri, Francesco, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_3nu48rqfv7pj6v7al3ot2uu4fg