Cargando…

Automated reasoning: 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, proceedings

Detalles Bibliográficos
Autores principales:	Olivetti, Nicola, Tiwari, Ashish
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757739

Ejemplares similares

Automated reasoning: 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, Vienna, Austria, July 19-22, 2014, proceedings
por: Demri, Stéphane, et al.
Publicado: (2014)

Automated reasoning: 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 14-17, 2018, proceedings
por: Galmiche, Didier, et al.
Publicado: (2018)

Pursuit of the universal: 12th conference on computability in Europe, CIE 2016, Paris, France, June 27 - July 1, 2016, proceedings
por: Beckmann, Arnold, et al.
Publicado: (2016)

Automated deduction in geometry: 10th international workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, revised selected papers
por: Botana, Francisco, et al.
Publicado: (2015)

Frontiers in algorithmics: 10th international workshop, FAW 2016, Qingdao, China, June 30 - July 2, 2016, proceedings
por: Zhu, Daming, et al.
Publicado: (2016)

"Innovation on big data for healthy living" | Summer School | 27 June - 6 July 2016
Publicado: (2016)

Exploratory study of air quality in elementary schools, Coimbra, Portugal
por: Ferreira, Ana Maria Conceição, et al.
Publicado: (2013)

Database and expert systems applications: 27th international conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, proceedings, part II
por: Hartmann, Sven, et al.
Publicado: (2016)

Proceedings from the 26th Annual Symposium of the International Cannabinoid Research Society: June 26–July 1, 2016
por: Maccarrone, Mauro
Publicado: (2017)

Proceedings of the 2016 China Cancer Immunotherapy Workshop: Beijing, China. 25-26 June 2016
por: Xue, Bin, et al.
Publicado: (2016)

IJCARS: MICCAI 2020 special issue
por: Martel, Anne, et al.
Publicado: (2021)

IJCARS: BVM 2021 special issue
por: Maier, Andreas, et al.
Publicado: (2021)

Plenary ECFA meeting 2016, from 30 June 2016 to 01 July 2016 (Europe/Rome)Gran Sasso National Laboratory – INFN
Publicado: (2016)

Meteorological Table: From June 27, to July 27
Publicado: (1811)

Information systems: 14th European, Mediterranean, and Middle Eastern conference, EMCIS 2017, Coimbra, Portugal, September 7-8, 2017, proceedings
por: Themistocleous, Marinos, et al.
Publicado: (2017)

Proceedings of the IX International Symposium on Phlebotomine Sandflies (ISOPS IX), Reims, France, June 28th–July 1st, 2016
por: Depaquit, Jérôme, et al.
Publicado: (2016)

SESAME July 2016
por: Bennett, Sophia Elizabeth
Publicado: (2016)

Physiological computing systems: international conferences, PHYCS 2016, Lisbon, Portugal, July 27-28, 2016, PHYCS 2017, Madrid, Spain, July 27-28, 2017, PHYCS 2018, Seville, Spain, September 19-21, 2018, revised and extended selected papers
por: Holzinger, Andreas, et al.
Publicado: (2019)

Proceedings of the CIMAGO Meeting – Challenges in Oncobiology Coimbra, 31st january 2020
Publicado: (2020)

Reversible computation: 8th international conference, RC 2016, Bologna, Italy, July 7-8, 2016, proceedings
por: Devitt, Simon, et al.
Publicado: (2016)

Mathematical software - ICMS 2016: 5th international conference, Berlin, Germany, July 11-14, 2016, proceedings
por: Greuel, Gert-Martin, et al.
Publicado: (2016)

In the June 2016 issue
por: Nitrini, Ricardo
Publicado: (2016)

Tests and proofs: 10th international conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016, proceedings
por: Aichernig, Bernhard K, et al.
Publicado: (2016)

Software reuse: 15th international conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, proceedings
por: Kapitsaki, Georgia M, et al.
Publicado: (2016)

Smart cities: first international conference, Smart-CT 2016, Málaga, Spain, June 15-17, 2016, proceedings
por: Alba, Enrique, et al.
Publicado: (2016)

Pattern recognition: 8th Mexican conference, MCPR 2016, Guanajuato, Mexico, June 22-25, 2016 proceedings
por: Martínez-Trinidad, José Francisco, et al.
Publicado: (2016)

Hybrid metaheuristics: 10th international workshop, HM 2016, Plymouth, UK, June 8-10, 2016, proceedings
por: Blesa, Maria J, et al.
Publicado: (2016)

Music from Renaissance Coimbra
Publicado: (1994)

Special Issue of Selected Extended Papers of IJCAR 2020
por: Peltier, Nicolas, et al.
Publicado: (2022)

Developments in language theory: 20th international conference, DLT 2016, Montréal, Canada, July 25-28, 2016, proceedings
por: Brlek, Srečko, et al.
Publicado: (2016)

Business information systems: 19th international conference, BIS 2016, Leipzig, Germany, July, 6-8, 2016, proceedings
por: Abramowicz, Witold, et al.
Publicado: (2016)

ALICE week July 2016
por: Caraban Gonzalez, Noemi
Publicado: (2016)

Summer Camp, July 2016
por: Staff Association
Publicado: (2016)

Learning and collaboration technologies: third international conference, LCT 2016, held as part of HCI international 2016, Toronto, ON, Canada, July 17-22, 2016, proceedings
por: Zaphiris, Panayiotis, et al.
Publicado: (2016)

Advanced information systems engineering workshops: CAISE 2016 international workshops, Ljubljana, Slovenia, June 13-17, 2016, proceedings
por: Krogstie, John, et al.
Publicado: (2016)

Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings
por: Ábrahám, Erika, et al.
Publicado: (2016)

Cross-cultural design: 8th international conference, CCD 2016, held as part of HCI international 2016, Toronto, ON, Canada, July 17-22, 2016, proceedings
por: Rau, Pei-Luen Patrick
Publicado: (2016)

Advances in neural networks - ISNN 2016: 13th international symposium on neural networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, proceedings
por: Cheng, Long, et al.
Publicado: (2016)

ALICE Experiment June 2016
por: Bennett, Sophia Elizabeth
Publicado: (2016)

Databases and information systems: 12th international Baltic conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, proceedings
por: Borzovs, Juris, et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_8tm7nlget7jmbb9bnlbplng991