Focus
Publications
Services
Auteurs
Éditions
Shop
Action newsletter : Abonnez-vous dès maintenant à notre newsletter et bénéficiez de 10 % de réduction sur vos commandes en ligne jusqu’au 8 août 2025. Infos et inscription.
Automated Deduction – CADE 30

Automated Deduction – CADE 30

30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings

Informations bibliographiques

août 2025, env. 724 pages, Lecture Notes in Artificial Intelligence, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-99983-3

Mots-clés

Autres titres de la collection: Lecture Notes in Artificial Intelligence

Afficher tout

Autres titres sur ce thème