Logo
DE | FR
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
Télécharger la couverture
Automated Deduction – CADE 30

Automated Deduction – CADE 30

30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
Livre (broché)env. 55.90 CHF
livrable dans env. 20-45 jours
juillet 2025, env. 756 pages, Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, Anglais
Springer International Publishing
978-3-031-99983-3

Autres titres de la collection: Lecture Notes in Computer Science

Afficher tout
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
env. 146.00 CHF
paraît en décembre

Autres titres sur ce thème

Modern Technologies in Ergonomics and Workplace Safety
Taylor and Francis, 2026
978-1-041-13617-0
env. 149.00 CHF
paraît en janvier
Technologies in Palliative Care for Older People
Springer International Publishing, 2026
978-3-032-04276-7
env. 123.00 CHF
paraît en janvier
New Beginnings
Why Change Is Hard and How We Can Achieve It
Scribe, 2026
978-1-917189-29-3
env. 26.90 CHF
paraît en février
Wounding Oneself in Early Modern Literature
Springer International Publishing, 2026
978-3-032-04564-5
env. 69.00 CHF
paraît en janvier
Handbuch Digitale Medien und Methoden
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-36624-7
env. 159.00 CHF
paraît en janvier
Practical AI Governance
Building a Program for Strategy and Oversight
Kogan Page, 2026
978-1-3986-2620-1
env. 55.90 CHF
paraît en mai
The Pregnancy Question and the Novel
Detection and Concealment from Richardson to Hardy
Springer EN, 2026
978-1-137-27645-2
env. 141.00 CHF
paraît en février
These Strange New Minds
How AI Learned to Talk and What It Means
Penguin Books, 2026
978-1-4059-6616-0
env. 19.90 CHF
paraît en février