Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Automated Deduction – CADE 29...
  • Internformat

Treffer: Automated Deduction – CADE 29

Titel:
Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings / edited by Brigitte Pientka, Cesare Tinelli
Beteiligt:
Pientka, Brigitte (Herausgeber); Tinelli, Cesare (Herausgeber)
Ausgabe:
1st ed. 2023
Veröffent­licht:
Cham : Springer Nature Switzerland, 2023
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XXV, 592 Seiten) : 85 illus., 32 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Artificial Intelligence, ISSN 2945-9141 ; 14132
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Automated Deduction – CADE 29. - Cham : Springer Nature Switzerland, 2023. - ISBN 9783031384981
Schlagworte:
ISBN:
9783031384998 ; 3031384997 ; 9783031384981 (Sekundärausgabe) ; 9783031385001 (Sekundärausgabe)
DOI:
10.1007/978-3-031-38499-8

Zusatz-Informationen

Zusatz-Funktionen