Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

Name: Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
Price: 78.99 CAD
Availability: InStock
Author: Cláudia Nalon
ISBN: 9783319669021

Édition : Cláudia Nalon

20 décembre 2017

78,99 $ ~~Réduction sur le prix courant 98,13 $ à~~

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

Acheter le livre numérique

Description

Langue

anglais

Lecture Notes in Artificial Intelligence

Publié par: Springer International Publishing

ISBN: 9783319669021

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

Henrik Legind Larsen Couverture souple
80,50 $
Flexible Query Answering Systems: 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings

Henrk Legind Larsen Couverture souple
109,50 $
2 formats offerts
Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part I

Massih-Reza Amini Couverture souple
145,95 $
2 formats offerts
Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part II

Massih-Reza Amini Couverture souple
145,95 $
2 formats offerts
Artificial Intelligence and Machine Learning: 31st Benelux AI Conference, BNAIC 2019, and 28th Belgian-Dutch Machine Learning Conference, BENELEARN 2019, Brussels, Belgium, November 6-8, 2019, Revised Selected Papers

Bart Bogaerts 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 $
Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part IV

Massih-Reza Amini Couverture souple
145,95 $
2 formats offerts
Machine Learning and Data Mining in Pattern Recognition: 10th International Conference, MLDM 2014, St. Petersburg, Russia, July 21-24, 2014, Proceedings

Petra Perner Couverture souple
80,50 $
Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part III

Massih-Reza Amini Couverture souple
204,50 $
2 formats offerts
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
Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part V

Massih-Reza Amini Couverture souple
145,95 $
2 formats offerts
Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part VI

Massih-Reza Amini Couverture souple
145,95 $
2 formats offerts
Advanced Data Mining and Applications: 17th International Conference, ADMA 2021, Sydney, NSW, Australia, February 2-4, 2022, Proceedings, Part II

Bohan Li Couverture souple
124,50 $
2 formats offerts
Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Hans De Nivelle Couverture souple
80,50 $
Advanced Data Mining and Applications: 17th International Conference, ADMA 2021, Sydney, NSW, Australia, February 2-4, 2022, Proceedings, Part I

Bohan Li Couverture souple
131,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
Machine Learning for Medical Image Reconstruction: First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

Florian Knoll Couverture souple
80,50 $
2 formats offerts
Statistical Language and Speech Processing: First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013, Proceedings

Adrian-Horia Dediu Couverture souple
80,50 $
Image Analysis and Recognition: 17th International Conference, ICIAR 2020, Povoa de Varzim, Portugal, June 24-26, 2020, Proceedings, Part II

Aurélio Campilho Couverture souple
145,95 $
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

Évaluation éditoriale

claudia nalon

Auteur

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
Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Hans De Nivelle Couverture souple
80,50 $
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
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
Diagrammatic Representation And Inference: 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings

Amrita Basu Couverture souple
160,95 $
2 formats offerts
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
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 $
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: 10th International Conference, Diagrams 2018, Edinburgh, Uk, June 18-22, 2018, Proceedings

Peter Chapman Couverture souple
160,95 $
2 formats offerts
Computational and Corpus-Based Phraseology: 4th International Conference, Europhras 2022, Malaga, Spain, 28-30 September, 2022, Proceedings

Gloria Corpas Pastor Couverture souple
102,50 $
2 formats offerts
Diagrammatic Representation And Inference: 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings

Ahti-veikko Pietarinen Couverture souple
131,50 $
2 formats offerts
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
PRIMA 2022: Principles and Practice of Multi-Agent Systems: 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

Reyhan Aydo Couverture souple
160,95 $
2 formats offerts
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 20th International Conference, CPAIOR 2023, Nice, France, May 29 -June 1, 2023, Proceedings

Andre Augusto Cire Couverture souple
145,95 $
2 formats offerts
Conceptual Knowledge Structures: First International Joint Conference, CONCEPTS 2024, Cadiz, Spain, September 9-13, 2024, Proceedings

Inma Cabrera Couverture souple
109,50 $
2 formats offerts
PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings

Matteo Baldoni Couverture souple
160,95 $
2 formats offerts
Modeling and Using Context: 11th International and Interdisciplinary Conference, CONTEXT 2019, Trento, Italy, November 20-22, 2019, Proceedings

Gábor Bella Couverture souple
80,50 $
2 formats offerts
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 Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Couverture souple
71,50 $

Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

Description

Vous aimerez peut-être aussi

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

Flexible Query Answering Systems: 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings

Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part I

Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part II

Artificial Intelligence and Machine Learning: 31st Benelux AI Conference, BNAIC 2019, and 28th Belgian-Dutch Machine Learning Conference, BENELEARN 2019, Brussels, Belgium, November 6-8, 2019, Revised Selected Papers

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

Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part IV

Machine Learning and Data Mining in Pattern Recognition: 10th International Conference, MLDM 2014, St. Petersburg, Russia, July 21-24, 2014, Proceedings

Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part III

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

Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part V

Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part VI

Advanced Data Mining and Applications: 17th International Conference, ADMA 2021, Sydney, NSW, Australia, February 2-4, 2022, Proceedings, Part II

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

Advanced Data Mining and Applications: 17th International Conference, ADMA 2021, Sydney, NSW, Australia, February 2-4, 2022, Proceedings, Part I

Artificial Life and Evolutionary Computation: 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15-17, 2021, Revised Selected Papers

Machine Learning for Medical Image Reconstruction: First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

Statistical Language and Speech Processing: First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013, Proceedings

Image Analysis and Recognition: 17th International Conference, ICIAR 2020, Povoa de Varzim, Portugal, June 24-26, 2020, Proceedings, Part II

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

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

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

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

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

Diagrammatic Representation And Inference: 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings

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

Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, 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: 10th International Conference, Diagrams 2018, Edinburgh, Uk, June 18-22, 2018, Proceedings

Computational and Corpus-Based Phraseology: 4th International Conference, Europhras 2022, Malaga, Spain, 28-30 September, 2022, Proceedings

Diagrammatic Representation And Inference: 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings

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

PRIMA 2022: Principles and Practice of Multi-Agent Systems: 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 20th International Conference, CPAIOR 2023, Nice, France, May 29 -June 1, 2023, Proceedings

Conceptual Knowledge Structures: First International Joint Conference, CONCEPTS 2024, Cadiz, Spain, September 9-13, 2024, Proceedings

PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings

Modeling and Using Context: 11th International and Interdisciplinary Conference, CONTEXT 2019, Trento, Italy, November 20-22, 2019, Proceedings

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

Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings