Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Name: Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Hans De Nivelle
ISBN: 9783319243115

Hans De Nivelle

12 novembre 2015

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

355

Lecture Notes in Artificial Intelligence

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783319243115

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Revantha Ramanayake Couverture souple
72,95 $
2 formats offerts
AIxIA 2023 - Advances in Artificial Intelligence: XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings

Roberto Basili Couverture souple
116,95 $
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: 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings

Jürgen Schmidhuber Couverture souple
80,50 $
Robotics And Rehabilitation Intelligence: First International Conference, Icrri 2020, Fushun, China, September 9-11, 2020, Proceedings, Part I

Jianhua Qian Couverture souple
80,50 $
2 formats offerts
Automated Reasoning With Analytic Tableaux And Related Methods: 28th International Conference, Tableaux 2019, London, Uk, September 3-5, 2019, Proceedings

Serenella Cerrito Couverture souple
80,50 $
2 formats offerts
Advanced Data Mining and Applications: 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part IV

Xiaochun Yang Couverture souple
145,95 $
2 formats offerts
Advanced Data Mining And Applications: 15th International Conference, Adma 2019, Dalian, China, November 21-23, 2019, Proceedings

Jianxin Li Couverture souple
160,95 $
2 formats offerts
Advanced Data Mining and Applications: 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part III

Xiaochun Yang Couverture souple
109,50 $
2 formats offerts
Advanced Data Mining and Applications: 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part II

Xiaochun Yang Couverture souple
145,95 $
2 formats offerts
Robotics and Rehabilitation Intelligence: First International Conference, ICRRI 2020, Fushun, China, September 9-11, 2020, Proceedings, Part II

Jianhua Qian Couverture souple
80,50 $
2 formats offerts
Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Kai Brünnler Couverture souple
80,50 $
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Christoph Benzmüller Couverture souple
58,50 $
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Christoph Benzmüller Couverture souple
116,95 $
2 formats offerts
Computer Safety, Reliability, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

Jérémie Guiochet Couverture souple
94,95 $
2 formats offerts
Advanced Data Mining and Applications: 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part V

Xiaochun Yang Couverture souple
145,95 $
2 formats offerts
Flexible Query Answering Systems: 10th International Conference, Fqas 2013, Granada, Spain, September 18-20, 2013. Proceedings

Henrik Legind Larsen Couverture souple
80,50 $
Algorithmic Decision Theory: 7th International Conference, Adt 2021, Toulouse, France, November 3-5, 2021, Proceedings

Dimitris Fotakis Couverture souple
131,50 $
2 formats offerts
Bio-Inspired Computing: Theories and Applications: 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part I

Linqiang Pan Couverture souple
124,50 $
2 formats offerts
Bio-Inspired Computing: Theories and Applications: 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part II

Linqiang Pan Couverture souple
72,95 $

Évaluation éditoriale

Auteur

Automated Reasoning With Analytic Tableaux And Related Methods: 26th International Conference, Tableaux 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

Renate A. Schmidt Couverture souple
102,50 $
2 formats offerts
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Revantha Ramanayake Couverture souple
72,95 $
2 formats offerts
Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Kai Brünnler Couverture souple
80,50 $
Automated Reasoning With Analytic Tableaux And Related Methods: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Proceedings

Anupam Das Couverture souple
80,50 $
2 formats offerts
Automated Reasoning With Analytic Tableaux And Related Methods: 28th International Conference, Tableaux 2019, London, Uk, September 3-5, 2019, Proceedings

Serenella Cerrito Couverture souple
80,50 $
2 formats offerts
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings

Zied Bouraoui Couverture souple
145,95 $
2 formats offerts
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
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 $
From Animals to Animats 16: 16th International Conference on Simulation of Adaptive Behavior, SAB 2022, Cergy-Pontoise, France, September 20-23, 2022, Proceedings

Lola Cañamero Couverture souple
80,50 $
2 formats offerts
Formal Concept Analysis: 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings

Peggy Cellier Couverture souple
72,95 $
Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers

Thomas Sturm Couverture souple
80,50 $
Diagrammatic Representation and Inference: 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings

Valeria Giardino Couverture souple
87,95 $
2 formats offerts
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 $
Computational Learning Theory: Second European Conference, EuroCOLT '95, Barcelona, Spain, March 13 - 15, 1995. Proceedings

Couverture souple
71,50 $
Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings

Jacques Carette Couverture souple
80,50 $
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings

Zied Bouraoui Couverture souple
58,50 $
Objects, Components, Models and Patterns: 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings

Manuel Oriol Couverture souple
80,50 $
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Tetsuo Ida Couverture souple
72,95 $
Conceptual Structures: Knowledge Architectures for Smart Applications: 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings

Uta Priss Couverture souple
80,50 $
Graph-Based Representation and Reasoning: 21st International Conference on Conceptual Structures, ICCS 2014, IaAYi, Romania, July 27-30, 2014, Proceedings

Nathalie Hernandez Couverture souple
80,50 $

Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Description

Vous aimerez peut-être aussi

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

AIxIA 2023 - Advances in Artificial Intelligence: XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings

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

Artificial General Intelligence: 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings

Robotics And Rehabilitation Intelligence: First International Conference, Icrri 2020, Fushun, China, September 9-11, 2020, Proceedings, Part I

Automated Reasoning With Analytic Tableaux And Related Methods: 28th International Conference, Tableaux 2019, London, Uk, September 3-5, 2019, Proceedings

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

Advanced Data Mining And Applications: 15th International Conference, Adma 2019, Dalian, China, November 21-23, 2019, Proceedings

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

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

Robotics and Rehabilitation Intelligence: First International Conference, ICRRI 2020, Fushun, China, September 9-11, 2020, Proceedings, Part II

Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Computer Safety, Reliability, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

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

Flexible Query Answering Systems: 10th International Conference, Fqas 2013, Granada, Spain, September 18-20, 2013. Proceedings

Algorithmic Decision Theory: 7th International Conference, Adt 2021, Toulouse, France, November 3-5, 2021, Proceedings

Bio-Inspired Computing: Theories and Applications: 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part I

Bio-Inspired Computing: Theories and Applications: 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part II

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Automated Reasoning With Analytic Tableaux And Related Methods: 26th International Conference, Tableaux 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Automated Reasoning With Analytic Tableaux And Related Methods: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Proceedings

Automated Reasoning With Analytic Tableaux And Related Methods: 28th International Conference, Tableaux 2019, London, Uk, September 3-5, 2019, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings

Diagrammatic Representation and Inference: 14th International Conference, Diagrams 2024, Munster, Germany, September 27 - October 1, 2024, Proceedings

Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

From Animals to Animats 16: 16th International Conference on Simulation of Adaptive Behavior, SAB 2022, Cergy-Pontoise, France, September 20-23, 2022, Proceedings

Formal Concept Analysis: 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings

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

Diagrammatic Representation and Inference: 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings

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

Computational Learning Theory: Second European Conference, EuroCOLT '95, Barcelona, Spain, March 13 - 15, 1995. Proceedings

Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings

Objects, Components, Models and Patterns: 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings

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

Conceptual Structures: Knowledge Architectures for Smart Applications: 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings

Graph-Based Representation and Reasoning: 21st International Conference on Conceptual Structures, ICCS 2014, IaAYi, Romania, July 27-30, 2014, Proceedings