Passer au contenu principal Passer au contenu du pied de page

Automated Deduction - CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Brigitte Pientka Édition : Cesare Tinelli

3 septembre 2023

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

Description

Langue

anglais

Pages

592

Lecture Notes in Artificial Intelligence

Publié par: Springer Nature

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

ISBN: 9783031384981

Artificial Intelligence And Games

Georgios N. Yannakakis Couverture souple
55,50 $
2 formats offerts
Interactive Collaborative Robotics: 5th International Conference, Icr 2020, St Petersburg, Russia, October 7-9, 2020, Proceedings

Andrey Ronzhin Couverture souple
80,50 $
2 formats offerts
Artificial Intelligence Logic and Applications: 4th International Conference, AILA 2024, Lanzhou, China, August 10-11, 2024, Proceedings

Songmao Zhang Couverture souple
124,50 $
Intelligent Systems: Proceedings of 4th International Conference on Machine Learning, IoT and Big Data (ICMIB 2024), Volume 2

Siba Kumar Udgata Couverture souple
364,95 $
Big Data, Machine Learning, and Applications: Proceedings of the 2nd International Conference, BigDML 2021

Malaya Dutta Borah Couverture souple
58,50 $
Big Data, Machine Learning, and Applications: Proceedings of the 2nd International Conference, BigDML 2021

Malaya Dutta Borah Couverture rigide
321,50 $
2 formats offerts
Interactive Collaborative Robotics: 6th International Conference, Icr 2021, St. Petersburg, Russia, September 27-30, 2021, Proceedings

Andrey Ronzhin Couverture souple
102,50 $
2 formats offerts
Artificial Intelligence Applications and Innovations: 17th IFIP WG 12.5 International Conference, AIAI 2021, Hersonissos, Crete, Greece, June 25-27, 2021, Proceedings

Ilias Maglogiannis Couverture souple
291,95 $
Intelligent System and Data Analysis: SSIC 2023 Doctoral Symposium

Priyadarsi Nanda Couverture rigide
364,95 $
Computational Science - ICCS 2024: 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Leonardo Franco Couverture souple
72,95 $
Artificial Intelligence Applications and Innovations: 17th IFIP WG 12.5 International Conference, AIAI 2021, Hersonissos, Crete, Greece, June 25-27, 2021, Proceedings

Ilias Maglogiannis Couverture rigide
291,95 $
2 formats offerts
Web Information Systems and Applications: 21st International Conference, WISA 2024, Yinchuan, China, August 2-4, 2024, Proceedings

Cheqing Jin Couverture souple
131,50 $
2 formats offerts
Computational Science - ICCS 2024: 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Leonardo Franco Couverture souple
116,95 $
2 formats offerts
Computational Science - ICCS 2024: 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Leonardo Franco Couverture souple
116,95 $
2 formats offerts
Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks

Radha Poovendran Couverture souple
335,95 $
2 formats offerts
Computational Science - ICCS 2024: 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Leonardo Franco Couverture souple
72,95 $
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops: DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings

Andrea Ceccarelli Couverture souple
116,95 $
2 formats offerts
Designing Real-World Multi-domain Networks

Dhrumil Prajapati Livre numérique Kobo
57,99 $ ~~Réduction sur le prix courant 72,49 $ à~~
Machine Intelligence, Tools, and Applications: Proceedings of the International Conference on Machine Intelligence, Tools, and Applications-ICMITA 2024

Satchidananda Dehuri Couverture rigide
364,95 $
2 formats offerts
Uncoded Multimedia Transmission

Feng Wu Couverture souple
88,95 $
2 formats offerts

Évaluation éditoriale

cesare tinelli

Auteur

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

Couverture souple
71,50 $
Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Leonardo de Moura Couverture souple
131,50 $
2 formats offerts
Automated Deduction - Cade 27: 27th International Conference On Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings

Pascal Fontaine Couverture souple
131,50 $
2 formats offerts
Automated Deduction - Cade 28: 28th International Conference On Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Andr Platzer Couverture souple
72,95 $
2 formats offerts
Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings

Couverture souple
71,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
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: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Christoph Benzmüller Couverture souple
65,95 $
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
Formal Concept Analysis: 16th International Conference, Icfca 2021, Strasbourg, France, June 29 - July 2, 2021, Proceedings

Agn Braud 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
Formal Concept Analysis: 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings

Dominik Dürrschnabel Couverture souple
87,95 $
2 formats offerts
Algorithmic Decision Theory: 7th International Conference, Adt 2021, Toulouse, France, November 3-5, 2021, Proceedings

Dimitris Fotakis Couverture souple
131,50 $
2 formats offerts
Belief Functions: Theory and Applications: 8th International Conference, BELIEF 2024, Belfast, UK, September 2-4, 2024, Proceedings

Yaxin Bi Couverture souple
94,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
Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings

Georg Gottlob Couverture souple
116,95 $
2 formats offerts
Inductive Logic Programming: 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings

Elena Bellodi Couverture souple
72,95 $
2 formats offerts
Algorithmic Decision Theory: 8th International Conference, ADT 2024, New Brunswick, NJ, USA, October 14-16, 2024, Proceedings

Rupert Freeman Couverture souple
94,95 $
2 formats offerts
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
Foundations of Intelligent Systems: 26th International Symposium, ISMIS 2022, Cosenza, Italy, October 3-5, 2022, Proceedings

Michelangelo Ceci Couverture souple
80,50 $
2 formats offerts