Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Newsletteraktion: Abonnieren Sie jetzt unseren Newsletter und sichern Sie sich bis zum 8. August 2025 10% Rabatt auf Ihre Onlinebestellungen. Infos und Anmeldung.
Automated Deduction – CADE 30

Automated Deduction – CADE 30

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

Bibliografische Angaben

August 2025, ca. 724 Seiten, Lecture Notes in Artificial Intelligence, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-99983-3

Schlagworte

Weitere Titel der Reihe: Lecture Notes in Artificial Intelligence

Alle anzeigen

Weitere Titel zum Thema