Cargando…

Logic-based program synthesis and transformation: 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, revised selected papers

Detalles Bibliográficos
Autores principales:	Mesnard, Fred, Stuckey, Peter J
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755702

Ejemplares similares

High performance computing: ISC high performance 2018 international workshops, Frankfurt/Main, Germany, June 28, 2018, revised selected papers
por: Yokota, Rio, et al.
Publicado: (2019)

Logic-based program synthesis and transformation: 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 revised selected papers
por: Proietti, Maurizio, et al.
Publicado: (2015)

Functional and constraint logic programming: 26th international workshop, WFLP 2018, Frankfurtmain, Germany, September 6, 2018, revised selected papers
por: Silva, Josep
Publicado: (2019)

Logic-based program synthesis and transformation: 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 revised selected papers
por: Falaschi, Moreno
Publicado: (2015)

Logic-based program synthesis and transformation: 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, revised selected papers
por: Fioravanti, Fabio, et al.
Publicado: (2018)

Fuzzy logic and applications: 12th international workshop, WILF 2018, Genoa, Italy, September 6-7, 2018, revised selected papers
por: Fullér, Robert, et al.
Publicado: (2019)

Involuntary hospitalizations in Frankfurt/Main, Germany
por: Grube, Michael, et al.
Publicado: (2007)

Membrane computing: 19th international conference, CMC 2018, Dresden, Germany, September 4-7, 2018, revised selected papers
por: Hinze, Thomas, et al.
Publicado: (2019)

High performance computing: 5th Latin American conference, CARLA 2018, Bucaramanga, Colombia, September 26-28, 2018, revised selected papers
por: Meneses, Esteban, et al.
Publicado: (2019)

Molecular logic and computational synthetic biology: first international symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, revised selected papers
por: Chaves, Madalena, et al.
Publicado: (2019)

KI 2018: 41st German conference on AI, Berlin, Germany, September 24-28, 2018, proceedings
por: Trollmann, Frank, et al.
Publicado: (2018)

ECML PKDD 2018 workshops: DMLE 2018 and IoTStream 2018, Dublin, Ireland, September 10-14, 2018, revised selected papers
por: Monreale, Anna, et al.
Publicado: (2019)

Service research and innovation: 7th australian symposium, ASSRI 2018, Sydney, NSW, Australia, September 6, 2018, and Wollongong, NSW, Australia, December 14, 2018, revised selected papers
por: Lam, Ho-Pun, et al.
Publicado: (2019)

Computer security: ESORICS 2018 international workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6-7, 2018, revised selected papers
por: Katsikas, Sokratis K, et al.
Publicado: (2019)

Euro-Par 2018: Euro-Par 2018 international workshops, Turin, Italy, August 27-28, 2018, revised selected papers
por: Mencagli, Gabriele, et al.
Publicado: (2019)

Computational and information technologies in science, engineering and education: 9th international conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, revised selected papers
por: Shokin, Yuri, et al.
Publicado: (2019)

Graph drawing and network visualization: 26th international symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, proceedings
por: Biedl, Therese, et al.
Publicado: (2018)

Security and safety interplay of intelligent software systems: ESORICS 2018 international workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, september 6-7, 2018, revised selected papers
por: Hamid, Brahim, et al.
Publicado: (2019)

Quantum interaction: 11th international conference, QI 2018, Nice, France, September 3-5, 2018, revised selected papers
por: Coecke, Bob, et al.
Publicado: (2019)

Business information systems workshops: BIS 2018 international workshops, Berlin, Germany, July 18-20, 2018, revised papers
por: Abramowicz, Witold, et al.
Publicado: (2019)

Selected abstracts from the 2018 Simulation Summit: Ottawa, Canada. 28-29 September 2018
Publicado: (2018)

Smart cities: first Ibero-American congress, ICSC-CITIES 2018, Soria, Spain, September 26-27, 2018, revised selected papers
por: Nesmachnow, Sergio, et al.
Publicado: (2019)

Supercomputing: 4th Russian supercomputing days, RuSCDays 2018, Moscow, Russia, September 24-25, 2018, revised selected papers
por: Voevodin, Vladimir, et al.
Publicado: (2019)

Software technologies: 13th international conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, revised selected papers
por: van Sinderen, Marten, et al.
Publicado: (2019)

Brainlesion: 4th international workshop, BrainLes 2018, held in conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, revised selected papers, part II
por: Crimi, Alessandro, et al.
Publicado: (2019)

BrainLesion: 4th international workshop, BRAINLES 2018, held in conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, revised selected papers, part I
por: Crimi, Alessandro, et al.
Publicado: (2019)

Web information systems and technologies: 14th international conference, WEBIST 2018, Seville, Spain, September 18-20, 2018, revised selected papers
por: Escalona, María José, et al.
Publicado: (2020)

Artificial life and evolutionary computation: 13th Italian workshop, WIVACE 2018, Parma, Italy, September 10-12, 2018, revised selected papers
por: Cagnoni, Stefano, et al.
Publicado: (2019)

Privacy technologies and policy: 4th annual privacy forum, APF 2016, Frankfurt/Main, Germany, September 7-8, 2016, proceedings
por: Schiffner, Stefan, et al.
Publicado: (2016)

Computational intelligence methods for bioinformatics and biostatistics: 15th international meeting, CIBB 2018, Caparica, Portugal, September 6-8, 2018, revised selected papers
por: Raposo, Maria, et al.
Publicado: (2020)

Machine learning, optimization, and data science: 4th international conference, LOD 2018, Volterra, Italy, September 13-16, 2018, revised selected papers
por: Nicosia, Giuseppe, et al.
Publicado: (2019)

Information security and cryptology - ICISC 2018: 21st international conference, Seoul, South Korea, November 28-30, 2018, revised selected papers
por: Lee, Kwangsu
Publicado: (2019)

Data management technologies and applications: 7th international conference, DATA 2018, Porto, Portugal, July 26-28, 2018, revised selected papers
por: Quix, Christoph, et al.
Publicado: (2019)

E-business and telecommunications: 15th international joint conference, ICETE 2018, Porto, Portugal, July 26-28, 2018, revised selected papers
por: Obaidat, Mohammad S
Publicado: (2019)

High performance computing systems: 19th symposium, WSCAD 2018, São Paulo, Brazil, October 1-3, 2018, revised selected papers
por: Bianchini, Calebe, et al.
Publicado: (2020)

Foundations and practice of security: 11th international symposium, FPS 2018, Montreal, QC, Canada, November 13-15, 2018, revised selected papers
por: Zincir-Heywood, Nur, et al.
Publicado: (2019)

Algorithmic aspects of cloud computing: 4th international symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20-21, 2018, revised selected papers
por: Disser, Yann, et al.
Publicado: (2019)

Computer vision - ECCV 2018 workshops: Munich, Germany, September 8-14, 2018, proceedings, part V
por: Leal-Taixé, Laura, et al.
Publicado: (2019)

Computer vision - ECCV 2018 workshops: Munich, Germany, September 8-14, 2018, proceedings, part VI
por: Leal-Taixé, Laura, et al.
Publicado: (2019)

Computer vision - ECCV 2018 workshops: Munich, Germany, September 8-14, 2018, proceedings, part I
por: Leal-Taixé, Laura, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_0f6b0c4lhsomrismacbu39rbhn