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

Blockchain Technology and Application: Second CCF China Blockchain Conference, CBCC 2019, Chengdu, China, October 11-13, 2019, Revised Selected Papers

Xueming Si Couverture souple
80,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
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling: 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007, Proceedings

Marc Cavazza Couverture rigide
80,50 $
Applications and Usability of Interactive TV: 10th Iberoamerican Conference, jAUTI 2021, Sangolqui, Ecuador, December 2-3, 2021, Revised Selected Papers

María J. Abásolo Couverture souple
102,50 $
2 formats offerts
Blockchain Technology and Application: Third CCF China Blockchain Conference, CBCC 2020, Jinan, China, December 18-20, 2020, Revised Selected Papers

Ke Xu Couverture souple
80,50 $
2 formats offerts
Computational Science and Its Applications - ICCSA 2024 Workshops: Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part X

Osvaldo Gervasi Couverture souple
72,95 $
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
72,95 $
2 formats offerts
Intelligent Systems: Proceedings of 3rd International Conference on Machine Learning, IoT and Big Data (ICMIB 2023)

Siba K Udgata Couverture souple
364,95 $
2 formats offerts
Advanced Multimedia And Ubiquitous Engineering: Mue/futuretech 2017

James J. (jong Hyuk) Park Couverture souple
321,50 $
3 formats offerts
Computer Applications: 39th CCF National Conference of Computer Applications, CCF NCCA 2024, Harbin, China, July 15-18, 2024, Proceedings, Part I

Haipeng Yu Couverture souple
124,50 $
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 I

Stephanie Weirich Couverture souple
72,95 $
2 formats offerts
Cloud Computing, Big Data: 8th Conference, Jcc-bd

Enzo Rucci Couverture souple
80,50 $
2 formats offerts
Cloud Computing, Big Data: 11th Conference, JCC-BD

Marcelo Naiouf Couverture souple
116,95 $
2 formats offerts
Computer Vision and Computer Graphics - Theory and Applications: International Conference, VISIGRAPP 2008, Funchal-Madeira, Portugal, January 22-25, 2008. Revised Selected Papers

AlpeshKumar Ranchordas Couverture souple
80,50 $
Wireless Sensor Networks: 11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papers

Jianzhong Li Couverture souple
80,50 $
2 formats offerts
Computational Science and Its Applications - ICCSA 2024 Workshops: Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IX

Osvaldo Gervasi Couverture souple
72,95 $
Computational Science and Its Applications - ICCSA 2024 Workshops: Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VI

Osvaldo Gervasi Couverture souple
72,95 $
Computational Science and Its Applications - ICCSA 2024 Workshops: Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I

Osvaldo Gervasi Couverture souple
204,50 $
2 formats offerts
Computer Applications: 39th CCF National Conference of Computer Applications, CCF NCCA 2024, Harbin, China, July 15-18, 2024, Proceedings, Part II

Haipeng Yu Couverture souple
124,50 $
Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication: ICAIRC 2022

Sanjay Yadav Couverture rigide
321,50 $
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-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings

Couverture souple
71,50 $
Case-based Reasoning: 18th International Conference, ICCBR 2010, Alessandria, Italy, July 19-22, 2010 Proceedings

Isabelle Bichindaritz Couverture souple
160,95 $
Combinatorial Algorithms: 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1-3, 2024, Proceedings

Adele Anna Rescigno Couverture souple
72,95 $
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
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Tiziana Margaria Couverture souple
116,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
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Tiziana Margaria Couverture souple
109,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
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
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Tiziana Margaria Couverture souple
109,50 $
2 formats offerts
Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

Jo Leite Couverture souple
80,50 $
Combinatorial Algorithms: 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1-3, 2024, Proceedings

Adele Anna Rescigno Couverture souple
131,50 $
2 formats offerts
Constructive Side-Channel Analysis and Secure Design: 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Romain Wacquez Couverture souple
94,95 $
2 formats offerts
Constructive Side-Channel Analysis and Secure Design: 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Romain Wacquez Couverture souple
72,95 $