Passer au contenu principal Passer au contenu du pied de page

Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Ulrich Furbach Édition : Natarajan Shankar

3 août 2006

160,95 $

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 805 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

688

Lecture Notes in Artificial Intelligence

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783540371878

Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceeding: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings

Matthias Blume Couverture souple
80,50 $
Next Generation Arithmetic: 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings

Marek Michalewicz Couverture souple
80,50 $
2 formats offerts
High-performance Computing And Big Data Analysis: Second International Congress, Tophpc 2019, Tehran, Iran, April 23-25, 2019, Revised Selected Papers

Lucio Grandinetti Couverture souple
80,50 $
2 formats offerts
New Frontiers in Artificial Intelligence: JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10-12, 2019, Revised Selected Papers

Maki Sakamoto Couverture souple
80,50 $
2 formats offerts
Rough Sets: International Joint Conference, Ijcrs 2019, Debrecen, Hungary, June 17-21, 2019, Proceedings

Tam Mihályde Couverture souple
80,50 $
2 formats offerts
Theory And Practice Of Natural Computing: 8th International Conference, Tpnc 2019, Kingston, On, Canada, December 9-11, 2019, Proceedings

Carlos Martín-Vide Couverture souple
94,95 $
2 formats offerts
High-performance Scientific Computing: First Jara-hpc Symposium, Jhpcs 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

Edoardo Di Napoli Couverture souple
80,50 $
2 formats offerts
Service-Oriented Computing: 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

Marco Aiello Couverture souple
94,95 $
2 formats offerts
Machine Intelligence and Smart Systems: Third International Conference, MISS 2023, Bhopal, India, January 24-25, 2023, Revised Selected Papers, Part II

Manish Gupta Couverture souple
145,95 $
Science of Cyber Security: 4th International Conference, SciSec 2022, Matsue, Japan, August 10-12, 2022, Revised Selected Papers

Chunhua Su Couverture souple
80,50 $
2 formats offerts
Artificial Life and Evolutionary Computation: 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15-17, 2021, Revised Selected Papers

Johannes Josef Schneider Couverture souple
102,50 $
2 formats offerts
Ubiquitous Social Media Analysis: Third International Workshops MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers

Martin Atzmueller Couverture souple
105,50 $
Theory of Cryptography: 17th International Conference, TCC 2019, Nuremberg, Germany, December 1-5, 2019, Proceedings, Part II

Dennis Hofheinz Couverture souple
80,50 $
2 formats offerts
Cellular Automata Technology: Third Asian Symposium, ASCAT 2024, Durgapur, India, February 29-March 2, 2024, Revised Selected Papers

Mamata Dalui Couverture souple
72,95 $
DNA Computing: 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Pape: 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers

Claudio Ferretti Couverture souple
80,50 $
Tools for High Performance Computing 2011: Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

Couverture souple
142,95 $
3 formats offerts
New Trends in Database and Information Systems: ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings

Alberto Abell Couverture souple
160,95 $
2 formats offerts
Towards Autonomous Robotic Systems: 25th Annual Conference, TAROS 2024, London, UK, August 21-23, 2024, Proceedings, Part II

Nazmul Huda Couverture souple
109,50 $
Ambient Assisted Living: Third International Workshop, IWAAL 2011, Held at IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011, Proceedings

Jose Bravo Couverture souple
80,50 $
Search-Based Software Engineering: 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

Erik M. Fredericks Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

natarajan shankar

Auteur

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Jürgen Giesl Couverture souple
160,95 $
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings

Pierre Schaus Couverture souple
131,50 $
2 formats offerts
Formal Concept Analysis: 6th International Conference, Icfca 2008, Montreal, Canada, February 25-28, 2008, Proceedings

Raoul Medina Couverture rigide
80,50 $
KI 2012: Advances in Artificial Intelligence: 35th Annual German Conference on AI, Saarbrucken, Germany, September 24-27, 2012, Proceedings

Birte Glimm Couverture souple
105,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 Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Stéphane Demri 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 $
Artificial Intelligence: Methodology, Systems, and Applications: 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings

J Euzenat Couverture souple
80,50 $
Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers

Thomas Sturm Couverture souple
80,50 $
Scalable Uncertainty Management: 4th International Conference, SUM 2010, Toulouse, France, September 27-29, 2010, Proceedings

Amol Deshpande Couverture souple
80,50 $
Enabling Real-Time Business Intelligence: 5th International Workshop, BIRTE 2011, Held at the 37th International Conference on Very Large Databases, VLDB 2011, Seattle, WA, USA, September 2, 2011, Revised Selected Papers

Malu Castellanos Couverture souple
72,95 $
Artificial General Intelligence: 17th International Conference, AGI 2024, Seattle, WA, USA, August 13-16, 2024, Proceedings

Kristinn R. Thorisson Couverture souple
94,95 $
2 formats offerts
Enabling Real-Time Business Intelligence: 4th International Workshop, BIRTE 2010, Held at the 36th International Conference on Very Large Databases, VLDB 2010, Singapore, September 13, 2010, Revised Selected Papers

Malu Castellanos Couverture souple
102,50 $
Knowledge Science, Engineering and Management: Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings

Zili Zhang Couverture rigide
160,95 $
Artificial Intelligence: Methodology, Systems, and Applications: 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings

Christoph Bussler Couverture souple
80,50 $
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 $
Enabling Real-Time Business Intelligence: 6th International Workshop, BIRTE 2012, Held at the 38th International Conference on Very Large Databases, VLDB 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers

Malu Castellanos Couverture souple
72,95 $
Logic Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Pedro Cabalar Couverture souple
80,50 $
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Nicola Olivetti Couverture souple
131,50 $
2 formats offerts
Practical Aspects Of Knowledge Management: 4th International Conference, PAKM 2002, Vienna, Austria, December 2-3, 2002, Proceedings

Dimitris Karagiannis Couverture souple
160,95 $