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

Document Analysis and Recognition - ICDAR 2023: 17th International Conference, San Jose, CA, USA, August 21-26, 2023, Proceedings, Part VI

Gernot A. Fink Couverture souple
175,50 $
2 formats offerts
Document Analysis and Recognition - ICDAR 2023: 17th International Conference, San Jose, CA, USA, August 21-26, 2023, Proceedings, Part IV

Gernot A. Fink Couverture souple
189,95 $
2 formats offerts
Artificial Intelligence for Knowledge Management: 8th IFIP WG 12.6 International Workshop, AI4KM 2021, Held at IJCAI 2020, Yokohama, Japan, January 7-8, 2021, Revised Selected Papers

Eunika Mercier-Laurent Couverture rigide
145,95 $
2 formats offerts
Document Analysis and Recognition - ICDAR 2023: 17th International Conference, San Jose, CA, USA, August 21-26, 2023, Proceedings, Part V

Gernot A. Fink Couverture souple
233,95 $
2 formats offerts
Agents and Artificial Intelligence: 5th International Conference, ICAART 2013, Barcelona, Spain, February 15-18, 2013. Revised Selected Papers

Joaquim Filipe Couverture souple
80,50 $
2 formats offerts
Artificial Intelligence for Knowledge Management: 8th IFIP WG 12.6 International Workshop, AI4KM 2021, Held at IJCAI 2020, Yokohama, Japan, January 7-8, 2021, Revised Selected Papers

Eunika Mercier-Laurent Couverture souple
145,95 $
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
Communications, Networking, and Information Systems: First International Congress, CNIS 2023, Guilin, China, March 25-27, 2023, Revised Selected Papers

Haonan Chen Couverture souple
175,50 $
2 formats offerts
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 $
Applied Machine Learning and Data Analytics: 6th International Conference, AMLDA 2023, Lubeck, Germany, November 9-10, 2023, Revised Selected Papers

M.a. Jabbar Couverture souple
116,95 $
2 formats offerts
Open Semantic Technologies for Intelligent System: 10th International Conference, OSTIS 2020, Minsk, Belarus, February 19-22, 2020, Revised Selected Papers

Vladimir Golenkov Couverture souple
80,50 $
2 formats offerts
Computational Linguistics: 16th International Conference of the Pacific Association for Computational Linguistics, PACLING 2019, Hanoi, Vietnam, October 11-13, 2019, Revised Selected Papers

Le-minh Nguyen Couverture souple
80,50 $
2 formats offerts
Multi-disciplinary Trends In Artificial Intelligence: 10th International Workshop, Miwai 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings

Chattrakul Sombattheera Couverture souple
80,50 $
2 formats offerts
Artificial Intelligence and Smart Vehicles: First International Conference, ICAISV 2023, Tehran, Iran, May 24-25, 2023, Revised Selected Papers

Mehdi Ghatee Couverture souple
116,95 $
2 formats offerts
Artificial Intelligence in Education: 23rd International Conference, AIED 2022, Durham, UK, July 27-31, 2022, Proceedings, Part I

Maria Mercedes Rodrigo Couverture souple
189,95 $
2 formats offerts
Engineering Psychology and Cognitive Ergonomics: 21st International Conference, EPCE 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part II

Don Harris Couverture souple
109,50 $
2 formats offerts
Artificial General Intelligence: 10th International Conference, Agi 2017, Melbourne, Vic, Australia, August 15-18, 2017, Proceedings

Tom Everitt Couverture souple
87,95 $
2 formats offerts
Engineering Psychology and Cognitive Ergonomics: 21st International Conference, EPCE 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part II

Don Harris Couverture souple
72,95 $
PRICAI '96: Topics in Artificial Intelligence: 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26 - 30, 1996, Proceedings

Couverture souple
142,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 $
Formal Concept Analysis: 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings

Peggy Cellier Couverture souple
72,95 $
Simulation, Modeling, and Programming for Autonomous Robots: Second International Conference, Simpar 2010, Darmstadt, Germany, November 15-18, 2010, Proceedings

Noriako Ando Couverture souple
80,50 $
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

Francisco Botana Couverture souple
65,95 $
2 formats offerts
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 $
Multiagent System Technologies: 8th German Conference, Mates 2010, Leipzig, Germany, September 27-29, 2010 Proceedings

Jürgen Dix Couverture souple
80,50 $
Organized Adaption in Multi-Agent Systems: First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers

George Vouros Couverture souple
80,50 $
Discovery Science: 13th International Conference, DS 2010, Canberra, Australia, October 6-8, 2010, Proceedings

Bernahrd Pfahringer Couverture souple
80,50 $
Scaling Topic Maps: Third International Conference on Topic Map Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers

Lutz Maicher Couverture souple
80,50 $
Logic Programming and Nonmonotonic Reasoning: 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings

James Delgrande Couverture souple
80,50 $
Quantum Interaction: Third International Symposium, Qi 2009, Saarbrucken, Germany, March 25-27, 2009, Proceedings

Peter Bruza Couverture souple
80,50 $
Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings

James H. Davenport Couverture souple
80,50 $
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Couverture souple
71,50 $
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Christoph Benzmüller Couverture souple
58,50 $
Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

Elizabeth Black Couverture souple
80,50 $
2 formats offerts
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

David Basin Couverture souple
160,95 $
Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007, Revised Selected Papers

Dietmar Seipel Couverture souple
80,50 $
Diagrammatic Representation and Inference: 14th International Conference, Diagrams 2024, Munster, Germany, September 27 - October 1, 2024, Proceedings

Jens Lemanski Couverture souple
102,50 $
2 formats offerts