Passer au contenu principal Passer au contenu du pied de page

Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers

Thomas Sturm Édition : Christoph Zengler

16 mai 2011

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

225

Lecture Notes in Artificial Intelligence

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783642210457

Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceeding: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings

Ilya Sergey Couverture souple
102,50 $
2 formats offerts
Languages and Compilers for Parallel Computing: 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9-11, 2018, Revised Selected Papers

Mary Hall Couverture souple
80,50 $
2 formats offerts
Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

Jo Leite Couverture souple
80,50 $
Recent Trends in Artificial Intelligence and IoT: First International Conference, ICAII 2022, Jamshedpur, India, April 4-5, 2023, Revised Selected Papers

Rajesh Kumar Tiwari Couverture souple
131,50 $
2 formats offerts
Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

Ilya Sergey Couverture souple
72,95 $
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

Peter Csaba Ölveczky Couverture souple
80,50 $
Programming Languages And Systems: 16th Asian Symposium, Aplas 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings

Sukyoung Ryu Couverture souple
80,50 $
2 formats offerts
Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Zhong Shao Couverture souple
80,50 $
Languages and Compilers for Parallel Computing: 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers

Henry Gordon Dietz Couverture souple
80,50 $
Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Peter Müller Couverture souple
72,95 $
Lean Enterprise Software and Systems: 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings

Brian Fitzgerald Couverture souple
80,50 $
Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Helmut Seidl Couverture souple
80,50 $
Cloud Computing and Services Science: 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7-9, 2020, Revised Selected Papers

Donald Ferguson Couverture souple
80,50 $
2 formats offerts
Cyber Security: 19th China Annual Conference, CNCERT 2022, Beijing, China, August 16-17, 2022, Revised Selected Papers

Wei Lu Couverture souple
72,95 $
2 formats offerts
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

Couverture souple
71,50 $
Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Thomas Wies Couverture souple
72,95 $
2 formats offerts
Metadata and Semantic Research: 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022, Revised Selected Papers

Emmanouel Garoufallou Couverture souple
116,95 $
2 formats offerts
Speech and Language Technologies for Low-Resource Languages: Second International Conference, SPELLL 2023, Perundurai, Erode, India, December 6-8, 2023, Revised Selected Papers

Bharathi Raja Chakravarthi Couverture souple
72,95 $
Cloud Computing and Services Science: 12th International Conference, CLOSER 2022, Virtual Event, April 27-29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers

Maarten Van Steen Couverture souple
189,95 $
2 formats offerts
Cloud Computing and Services Science: 12th International Conference, CLOSER 2022, Virtual Event, April 27-29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers

Maarten Van Steen Couverture souple
72,95 $

Évaluation éditoriale

christoph zengler

Auteur

Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Tetsuo Ida Couverture souple
72,95 $
Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

Jürgen Dix Couverture souple
80,50 $
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Jürgen Giesl Couverture souple
160,95 $
Automated Deduction - Cade 28: 28th International Conference On Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Andr Platzer Couverture souple
72,95 $
2 formats offerts
Logic Programming and Nonmonotonic Reasoning: 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings

James Delgrande Couverture souple
80,50 $
Programming Multi-Agent Systems: 8th International Workshop, Promas 2010, Toronto, On, Canada, May 11, 2010. Revised Selected Papers

Rem Collier Couverture souple
102,50 $
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Couverture souple
71,50 $
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

Dongming Wang Couverture souple
80,50 $
Data Integration in the Life Sciences: 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedings

Patrick Lambrix Couverture souple
80,50 $
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

David Basin Couverture souple
160,95 $
Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Leonardo de Moura Couverture souple
131,50 $
2 formats offerts
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers

Edmund M. Clarke Couverture souple
80,50 $
Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings

Couverture souple
71,50 $
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Martin Gebser Couverture souple
58,50 $
Multiagent System Technologies: 8th German Conference, Mates 2010, Leipzig, Germany, September 27-29, 2010 Proceedings

Jürgen Dix Couverture souple
80,50 $
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Ron van der Meyden Couverture souple
80,50 $
Multi-Agent-Based Simulation XXIV: 24th International Workshop, MABS 2023, London, UK, May 29 - June 2, 2023, Revised Selected Papers

Luis G. Nardin Couverture souple
72,95 $
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Ulrich Furbach Couverture souple
160,95 $
Software and Compilers for Embedded Systems: 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings

Andreas Krall Couverture souple
80,50 $
From Animals to Animats 17: 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings

Oliver Brock Couverture souple
109,50 $
2 formats offerts