Passer au contenu principal Passer au contenu du pied de page

Automated Deduction - Cade 28: 28th International Conference On Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Andr Platzer Édition : Geoff Sutcliffe

8 juillet 2021

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

650

Lecture Notes in Artificial Intelligence

Publié par: Springer Nature

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

ISBN: 9783030798758

Data Privacy Management and Security Assurance: 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings

Giovanni Livraga Couverture souple
80,50 $
2 formats offerts
Applied Intelligence and Informatics: Second International Conference, AII 2022, Reggio Calabria, Italy, September 1-3, 2022, Proceedings

Mufti Mahmud Couverture souple
160,95 $
2 formats offerts
Applied Cryptography And Network Security: 17th International Conference, Acns 2019, Bogota, Colombia, June 5-7, 2019, Proceedings

Robert H. Deng Couverture souple
131,50 $
2 formats offerts
Optimization, Learning Algorithms and Applications: Second International Conference, OL2A 2022, Povoa de Varzim, Portugal, October 24-25, 2022, Proceedings

Ana I. Pereira Couverture souple
204,50 $
2 formats offerts
Optimization, Learning Algorithms and Applications: 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part I

Ana I. Pereira Couverture souple
124,50 $
Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation: 4th International Conference, ICC3 2019, Coimbatore, India, December 19-21, 2019, Revised Selected Papers

Suresh Balusamy Couverture souple
80,50 $
2 formats offerts
Applications And Techniques In Information Security: 10th International Conference, Atis 2019, Thanjavur, India, November 22-24, 2019, Proceedings

V. S. Shankar Sriram Couverture souple
80,50 $
2 formats offerts
Application of Big Data, Blockchain, and Internet of Things for Education Informatization: First EAI International Conference, BigIoT-EDU 2021, Virtual Event, August 1-3, 2021, Proceedings, Part II

Mian Ahmad Jan Couverture souple
248,50 $
2 formats offerts
Embedded System Engineering Guide

Samuel Hj Lin Couverture souple
35,50 $
Intelligent Data Engineering and Automated Learning - IDEAL 2023: 24th International Conference, Evora, Portugal, November 22-24, 2023, Proceedings

Paulo Quaresma Couverture souple
58,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
Applications Of Computational Intelligence: 4th Ieee Colombian Conference, Colcaci 2021, Virtual Event, May 27-28, 2021, Revised Selected Papers

Alvaro David Orjuela-ca Couverture souple
102,50 $
2 formats offerts
Optimization, Learning Algorithms and Applications: 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part II

Ana I. Pereira Couverture souple
116,95 $
Ambient Intelligence in Health Care: Proceedings of ICAIHC 2022

Tripti Swarnkar Couverture souple
364,95 $
Ambient Intelligence in Health Care: Proceedings of ICAIHC 2022

Tripti Swarnkar Couverture rigide
364,95 $
2 formats offerts
Application of Big Data, Blockchain, and Internet of Things for Education Informatization: First EAI International Conference, BigIoT-EDU 2021, Virtual Event, August 1-3, 2021, Proceedings, Part I

Mian Ahmad Jan Couverture souple
80,50 $
2 formats offerts
Human Mental Workload: Models and Applications: 5th International Symposium, H-WORKLOAD 2021, Virtual Event, November 24-26, 2021, Proceedings

Luca Longo Couverture souple
102,50 $
2 formats offerts
Management of Multimedia Networks and Services: 8th International Conference on Management of Multimedia Networks and Services, MMNS 2005, Barcelona, Spain, October 24-26, 2005, Proceedings

Jordi Dalmau Royo Couverture souple
80,50 $
Modeling Decisions For Artificial Intelligence: 17th International Conference, Mdai 2020, Sant Cugat, Spain, September 2-4, 2020, Proceedings

Vicen Torra 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

Évaluation éditoriale

geoff sutcliffe

Auteur

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 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Brigitte Pientka Couverture souple
72,95 $
2 formats offerts
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Couverture souple
71,50 $
Inductive Logic Programming: 30th International Conference, Ilp 2021, Virtual Event, October 25-27, 2021, Proceedings

Nikos Katzouris Couverture souple
102,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 $
Graph-Based Representation and Reasoning: 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20-22, 2021, Proceedings

Tanya Braun Couverture souple
124,50 $
2 formats offerts
Brain Informatics: 14th International Conference, Bi 2021, Virtual Event, September 17-19, 2021, Proceedings

Mufti Mahmud Couverture souple
175,50 $
2 formats offerts
Multi-disciplinary Trends In Artificial Intelligence: 14th International Conference, Miwai 2021, Virtual Event, July 2-3, 2021, Proceedings

Phatthanaphong Chomphuwiset Couverture souple
80,50 $
2 formats offerts
Logic And Argumentation: 4th International Conference, Clar 2021, Hangzhou, China, October 20-22, 2021, Proceedings

Pietro Baroni Couverture souple
145,95 $
2 formats offerts
PRIMA 2020: Principles and Practice of Multi-Agent Systems: 23rd International Conference, Nagoya, Japan, November 18-20, 2020, Proceedings

Takahiro Uchiya Couverture souple
80,50 $
2 formats offerts
Statistical Language And Speech Processing: 9th International Conference, Slsp 2021, Virtual Event, November 22-26, 2021, Proceedings

Luis Espinosa-anke Couverture souple
87,95 $
2 formats offerts
Logic And Argumentation: Third International Conference, Clar 2020, Hangzhou, China, April 6-9, 2020, Proceedings

Mehdi Dastani Couverture souple
80,50 $
2 formats offerts
Logic and Argumentation: 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

Andreas Herzig Couverture souple
94,95 $
2 formats offerts
Inductive Logic Programming: 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

Stephen H. Muggleton Couverture souple
80,50 $
2 formats offerts
Multi-agent-based Simulation Xxii: 22nd International Workshop, Mabs 2021, Virtual Event, May 3-7, 2021, Revised Selected Papers

Koen H. van Dam Couverture souple
87,95 $
2 formats offerts
Multi-Agent-Based Simulation XXIII: 23rd International Workshop, MABS 2022, Virtual Event, May 8-9, 2022, Revised Selected Papers

Fabian Lorig Couverture souple
87,95 $
2 formats offerts
Logic Programming and Nonmonotonic Reasoning: 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

Carmine Dodaro Couverture souple
204,50 $
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
Biomimetic and Biohybrid Systems: 11th International Conference, Living Machines 2022, Virtual Event, July 19-22, 2022, Proceedings

Alexander Hunt Couverture souple
131,50 $
2 formats offerts