Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Intelligent Computer Mathematics

Name: Intelligent Computer Mathematics
Brand: Springer, Berlin
SKU: 46193434
Price: 75.45 EUR
Availability: InStock
Author: Andrea Kohlhase
ISBN: 9783031669965

17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings

Andrea Kohlhase

Laura Kovács

Sprache

Englisch

Buch Broschur

Libristo-Code: 46193434

Verlag Springer, Berlin, August 2024

This book constitutes the refereed proceedings of the 17th International Conference on Intelligent C... Vollständige Beschreibung

Libristo-Code: 46193434

183 b

75.45 €

50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montréal, Québec, Canada, during August 5-9, 2024.

The 21 full papers presented were carefully reviewed and selected from 28 submissions. These papers have been categorized into the following sections: AI and LLM; Proof Assistants; Logical Frameworks and Transformations; Knowledge Representation and Certification; Proof Search and Formalization & System Descriptions.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Intelligent Computer Mathematics

Autor Andrea Kohlhase, Laura Kovács

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2024

Anzahl der Seiten 340

EAN 9783031669965

Libristo-Code 46193434

Verlag Springer, Berlin

Gewicht 575

Abmessungen 155 x 235

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert