Cargando…

Automated deduction in geometry: 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised papers

Detalles Bibliográficos
Autores principales:	Schreck, Pascal, Narboux, Julien, Richter-Gebert, Jürgen
Lenguaje:	eng
Publicado:	Springer 2011
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757728

Ejemplares similares

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)

Computational geometry, graphs and applications: international conference, CGGA 2010, Dalian, China, November 3-6, 2010, revised, selected papers
por: Akiyama, Jin, et al.
Publicado: (2011)

Critical information infrastructure security: 5th international workshop, CRITIS 2010, Athens, Greece, September 2010, revised papers
por: Xenakis, Christos, et al.
Publicado: (2011)

Brainlesion: first international workshop, Brainles 2015, held in conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, revised selected papers
por: Crimi, Alessandro, et al.
Publicado: (2016)

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

Business information systems workshops: BIS 2016 international workshops, Leipzig, Germany, July 6-8, 2016, revised papers
por: Abramowicz, Witold, et al.
Publicado: (2017)

Automated deduction - CADE-21: 21st international conference on automated deduction, Bremen, Germany, July 17-20, 2007, proceedings
por: Pfenning, Frank
Publicado: (2007)

Software technologies: STAF 2017 collocated workshops, Marburg, Germany, July 17-21, 2017, revised selected papers
por: Seidl, Martina, et al.
Publicado: (2018)

Trends and topics in computer vision: ECCV 2010 workshops, Heraklion, Crete, Greece, September 10-11, 2010, revised selected papers, part II
por: Kutulakos, Kiriakos N
Publicado: (2012)

Virtual colonoscopy and abdominal imaging: second international workshop, held in conjunction with MICCAI 2010, Beijing, China, September 20, 2010, revised selected papers
por: Yoshida, Hiroyuki, et al.
Publicado: (2011)

In the July, 2010 Issue of Clinics
por: Silva, Mauricio Rocha e
Publicado: (2010)

Argumentation in multi-agent systems: 7th international workshop, ArgMAS 2010, Toronto, Canada, May 10, 2010, revised selected and invited papers
por: McBurney, Peter, et al.
Publicado: (2011)

Henry Bohlman (July 22, 1937–May 27, 2010)
por: Riew, K. Daniel
Publicado: (2020)

Video processing and computational video: international seminar, Dagstuhl Castle, Germany, October 10-15, 2010, revised papers
por: Cremers, Daniel, et al.
Publicado: (2011)

Editorial for ECAP, July Issue 2010
por: Rothenberger, Aribert
Publicado: (2010)

Best Papers of 2010
Publicado: (2011)

New frontiers in artificial intelligence: JSAI-IsAI 2010 workshops, LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010, revised selected papers
por: Onoda, Takashi, et al.
Publicado: (2012)

Research in cryptology: second Western European workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, revised selected papers
por: Lucks, Stefan, et al.
Publicado: (2008)

BOOST2010 Workshop
por: Karagoz, M, et al.
Publicado: (2010)

Exploring services science: first international conference, IESS 2010, Geneva, Switzerland, February 17-19, 2010, revised papers
por: Morin, Jean-Henry, et al.
Publicado: (2010)

Trusted systems: second international conference, INTRUST 2010, Beijing, China, December 13-15, 2010, revised selected papers
por: Chen, Liqun, et al.
Publicado: (2011)

Combinatorial algorithms: 22th international workshop, IWOCA 2011, Victoria, Canada, July 20-22, 2011, revised selected papers
por: Iliopoulos, Costas S, et al.
Publicado: (2012)

EHP Paper of the Year, 2010
por: Tilson, Hugh A.
Publicado: (2010)

2010 Workshop on Intelligent Trackers
por: Collective
Publicado: (2010)

Deduction with uncertain conditionals (revised & simplified, with examples)
por: Calabrese, Philip G.
Publicado: (2021)

Selected Papers from ENZITEC 2010
por: Freire, Denise M. G., et al.
Publicado: (2011)

Twitter Response to Munich July 2016 Attack: Network Analysis of Influence
por: Bermudez, Ivan, et al.
Publicado: (2019)

International conference: Modeling and Design of Molecular Materials—MDMM 2010 (4–8 July 2010, Wrocław, Poland)
por: Sokalski, W. Andrzej, et al.
Publicado: (2011)

Results of the hearing campaign from 12 to 16 July 2010
por: Medical Service
Publicado: (2010)

Health impacts of the July 2010 heat wave in Québec, Canada
por: Bustinza, Ray, et al.
Publicado: (2013)

Sterile endophthalmitis following intravitreal triamcinolone acetonide in July 2010
por: Kim, Moosang, et al.
Publicado: (2015)

International Workshop on Linear Colliders 2010
Publicado: (2010)

First ReteQuarkonii Workshop 2010
Publicado: (2010)

International Workshop on Linear Colliders 2010
por: Richard, Francois
Publicado: (2010)

Workshop on Low Emittance Rings 2010
Publicado: (2010)

Evian 2010 Workshop on LHC Commissioning
por: Goddard, Brennan
Publicado: (2010)

Chamonix 2010 Workshop on LHC Performance
por: Carli, C
Publicado: (2010)

International Workshop on Heavy Quarkonium 2010
Publicado: (2010)

International linear collider workshop 2010
Publicado: (2010)

Graduate Study on the Continent—Germany: IX. Munich and Leipsic
Publicado: (1908)

Cannot write session to /tmp/vufind_sessions/sess_gi050e9pua4au2kkfld4l0515j