Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Name: Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Price: 160.95 CAD
Availability: InStock
Author: Andrei Voronkov
ISBN: 9783540894384

Iliano Cervesato Édition : Helmut Veith , Andrei Voronkov

13 novembre 2008

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

714

Lecture Notes in Artificial Intelligence

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783540894384

Mathematics and Computation in Music: Third International Conference, MCM 2011, Paris, France, June 15-17, 2011. Proceedings

Carlos Agon Couverture souple
80,50 $
Computational Intelligence in Data Science: 4th IFIP TC 12 International Conference, ICCIDS 2021, Chennai, India, March 18-20, 2021, Revised Selected Papers

Vallidevi Krishnamurthy Couverture souple
145,95 $
Machine Learning, Optimization, and Data Science: 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part II

Giuseppe Nicosia Couverture souple
145,95 $
2 formats offerts
Machine Learning, Optimization, and Data Science: 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part I

Giuseppe Nicosia Couverture souple
145,95 $
2 formats offerts
Computational Intelligence in Data Science: 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers

Sarath Chandran K R Couverture rigide
175,50 $
2 formats offerts
Computational Intelligence in Data Science: 4th IFIP TC 12 International Conference, ICCIDS 2021, Chennai, India, March 18-20, 2021, Revised Selected Papers

Vallidevi Krishnamurthy Couverture rigide
145,95 $
2 formats offerts
Reasoning Web. Declarative Artificial Intelligence: 17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures

Mantas Å Imkus Couverture souple
131,50 $
2 formats offerts
Wireless Algorithms, Systems, And Applications: 14th International Conference, Wasa 2019, Honolulu, Hi, Usa, June 24-26, 2019, Proceedings

Edoardo S. Biagioni Couverture souple
80,50 $
2 formats offerts
Distributed Applications and Interoperable Systems: 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Lea Kutvonen Couverture souple
80,50 $
Database and XML Technologies: 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings

Zohra Bellahs Couverture souple
80,50 $
Algebraic Informatics: 5th International Conference, Cai 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Traian Muntean Couverture souple
105,50 $
Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

Alexander Romanovsky Couverture souple
109,50 $
2 formats offerts
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Stephanie Weirich Couverture souple
58,50 $
Mathematics Of Program Construction: 13th International Conference, Mpc 2019, Porto, Portugal, October 7-9, 2019, Proceedings

Graham Hutton Couverture souple
80,50 $
2 formats offerts
Advances In Geospatial Data Science: Selected Papers From The International Conference On Geospatial Information Sciences 2021

Rodrigo Tapia-mcclung Couverture rigide
204,50 $
2 formats offerts
Advanced Data Mining and Applications: 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part I

Xiaochun Yang Couverture souple
160,95 $
2 formats offerts
Combinatorial Optimization: 6th International Symposium, Isco 2020, Montreal, Qc, Canada, May 4-6, 2020, Revised Selected Papers

Mourad Ba Couverture souple
80,50 $
2 formats offerts
Theoretical and Mathematical Foundations of Computer Science: Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011, Revised Selected Papers

Qihai Zhou Couverture souple
160,95 $
User Modeling, Adaptation, and Personalization: 18th International Conference, UMAP 2010, Big Island, HI, USA, June 20-24, 2010, Proceedings

Paul De Bra Couverture souple
80,50 $
Ecoop 2009 - Object-oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings

Sophia Drossopoulou Couverture souple
160,95 $

Évaluation éditoriale

helmut veith

Auteur

Artificial General Intelligence: 5th International Conference, Agi 2012, Oxford, Uk, December 8-11, 2012. Proceedings

Joscha Bach Couverture souple
80,50 $
Artificial Intelligence: Methodology, Systems, and Applications: 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 Proceedings

Couverture souple
71,50 $
Artificial Intelligence: Methodology, Systems, and Applications: 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10, 2010. Proceedings

Darina Dicheva Couverture souple
80,50 $
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 Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Pedro Cabalar Couverture souple
80,50 $
Artificial Intelligence: Methodology, Systems, and Applications: 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, Proceedings

Gennady Agre 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 Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Ulrich Furbach Couverture souple
160,95 $
Artificial General Intelligence: 17th International Conference, AGI 2024, Seattle, WA, USA, August 13-16, 2024, Proceedings

Kristinn R. Thórisson Couverture souple
72,95 $
Artificial Intelligence: Methodology, Systems, and Applications: 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings

J Euzenat 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 $
Artificial Intelligence and Soft Computing - ICAISC 2008: 9th International Conference Zakopane, Poland, June 22-26, 2008, Proceedings

Leszek Rutkowski Couverture rigide
317,95 $
Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Geoff Sutcliffe Couverture souple
160,95 $
Discovery Science: 17th International Conference, DS 2014, Bled, Slovenia, October 8-10, 2014, Proceedings

Sa Då¾eroski Couverture souple
80,50 $
Text, Speech and Dialogue: 11th International Conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008, Proceedings

Petr Sojka Couverture souple
160,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 $
Logic Programming And Nonmonotonic Reasoning: 14th International Conference, Lpnmr 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Marcello Balduccini Couverture souple
80,50 $
2 formats offerts
Intelligent Virtual Agents: 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005, Proceedings

Themis Panayiotopoulos Couverture souple
80,50 $
Artificial General Intelligence: 8th International Conference, Agi 2015, Agi 2015, Berlin, Germany, July 22-25, 2015, Proceedings

Jordi Bieger Couverture souple
80,50 $
Artificial Neural Networks in Pattern Recognition: 6th IAPR TC 3 International Workshop, ANNPR 2014, Montreal, QC, Canada, October 6-8, 2014, Proceedings

Neamat El Gayar Couverture souple
80,50 $

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Description

Vous aimerez peut-être aussi

Mathematics and Computation in Music: Third International Conference, MCM 2011, Paris, France, June 15-17, 2011. Proceedings

Computational Intelligence in Data Science: 4th IFIP TC 12 International Conference, ICCIDS 2021, Chennai, India, March 18-20, 2021, Revised Selected Papers

Machine Learning, Optimization, and Data Science: 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part II

Machine Learning, Optimization, and Data Science: 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part I

Computational Intelligence in Data Science: 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers

Computational Intelligence in Data Science: 4th IFIP TC 12 International Conference, ICCIDS 2021, Chennai, India, March 18-20, 2021, Revised Selected Papers

Reasoning Web. Declarative Artificial Intelligence: 17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures

Wireless Algorithms, Systems, And Applications: 14th International Conference, Wasa 2019, Honolulu, Hi, Usa, June 24-26, 2019, Proceedings

Distributed Applications and Interoperable Systems: 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Database and XML Technologies: 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings

Algebraic Informatics: 5th International Conference, Cai 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Mathematics Of Program Construction: 13th International Conference, Mpc 2019, Porto, Portugal, October 7-9, 2019, Proceedings

Advances In Geospatial Data Science: Selected Papers From The International Conference On Geospatial Information Sciences 2021

Advanced Data Mining and Applications: 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part I

Combinatorial Optimization: 6th International Symposium, Isco 2020, Montreal, Qc, Canada, May 4-6, 2020, Revised Selected Papers

Theoretical and Mathematical Foundations of Computer Science: Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011, Revised Selected Papers

User Modeling, Adaptation, and Personalization: 18th International Conference, UMAP 2010, Big Island, HI, USA, June 20-24, 2010, Proceedings

Ecoop 2009 - Object-oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Artificial General Intelligence: 5th International Conference, Agi 2012, Oxford, Uk, December 8-11, 2012. Proceedings

Artificial Intelligence: Methodology, Systems, and Applications: 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 Proceedings

Artificial Intelligence: Methodology, Systems, and Applications: 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10, 2010. Proceedings

Artificial Intelligence: Methodology, Systems, and Applications: 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings

Logic Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Artificial Intelligence: Methodology, Systems, and Applications: 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, Proceedings

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

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

Artificial General Intelligence: 17th International Conference, AGI 2024, Seattle, WA, USA, August 13-16, 2024, Proceedings

Artificial Intelligence: Methodology, Systems, and Applications: 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers

Artificial Intelligence and Soft Computing - ICAISC 2008: 9th International Conference Zakopane, Poland, June 22-26, 2008, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Discovery Science: 17th International Conference, DS 2014, Bled, Slovenia, October 8-10, 2014, Proceedings

Text, Speech and Dialogue: 11th International Conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008, Proceedings

Simulation, Modeling, and Programming for Autonomous Robots: Second International Conference, Simpar 2010, Darmstadt, Germany, November 15-18, 2010, Proceedings

Logic Programming And Nonmonotonic Reasoning: 14th International Conference, Lpnmr 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Intelligent Virtual Agents: 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005, Proceedings

Artificial General Intelligence: 8th International Conference, Agi 2015, Agi 2015, Berlin, Germany, July 22-25, 2015, Proceedings

Artificial Neural Networks in Pattern Recognition: 6th IAPR TC 3 International Workshop, ANNPR 2014, Montreal, QC, Canada, October 6-8, 2014, Proceedings