Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
Österreichische Post 5.99 €
GLS-Kurier 5.49 €
DPD-Kurier 4.99 €
DPD-Stelle 3.99 €
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.99 €
GLS-Kurier 5.49 €
DPD-Kurier 4.99 €
DPD-Stelle 3.99 €
Kaufberater
Mein Konto
▸
Leer :-(
0
Intelligent Computer Mathematics
Sprache
Englisch
Englisch
Buch
Broschur
This book constitutes the refereed proceedings of the 18th International Conference on Intelligent C...
Vollständige Beschreibung
Libristo-Code: 49531041
?
324 b
324 b
132.29
€
inkl. MwSt.
Externes Lager
Wir versenden in 5-8 Tagen
Bis zu 30 Tage Rückgaberecht
Das könnte Sie auch interessieren
/
Broschur
31.29
€
This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6 11, 2025.
The 24 full papers were presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in the following topical sections as follows : Automated Reasoning; Formal Libraries; Logical and Linguistic Foundations; Mathematical Knowledge Management; Neural Language Models; and Proof Assistants and Formalizations.
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
Peter Koepke
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2025
Anzahl der Seiten
455
EAN
9783032070203
ISBN
3032070201
Libristo-Code
49531041
Verlag
Springer-Verlag GmbH
Gewicht
689
Kategorie
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
Buchberater Libroamiko
Durch die Nutzung dieses Chats kommunizieren Sie mit generativer künstlicher Intelligenz. Mit der Nutzung erklären Sie sich auch mit der Verarbeitung personenbezogener Daten einverstanden.
Hallo! Ich bin Libroamiko, dein Buchberater.
Wie kann ich dir helfen?
Hallo, ich bin Libroamiko, kann ich helfen?