Automated deduction cade 30th (1 Ergebnisse)

Titel:

Mit der Detailsuche verfeinern

Automated Deduction - CADE 30 | 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
Clark Barrett (u. a.)
Sprache: Englisch
Verlag: Springer, 2025
3031999835 / 9783031999833
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 41,45
EUR 70,00 Versand
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Automated Deduction - CADE 30 | 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings | Clark Barrett (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2025 | Springer | EAN 9783031999833 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…