Titel: Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montr� al, QC, Canada, August 5� "9, 2024, Proceedings (Lecture Notes in Artificial Intelligence)
Verlag: Springer
Erscheinungsjahr: 2024
Sprache: Englisch
ISBN-10: 3031669967
ISBN-13: 9783031669965
Einband: paperback
Zustand: Very Good

�ber diesen Titel

Inhaltsangabe

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 Certiﬁcation; Proof Search and Formalization & System Descriptions.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Schwabe Books, Inc. DBA Books From California
51 W. Easy St., Simi Valley, CA, 93065, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Refunds Offered Within 10 days of order.

Greg Schwabe
Books From California
51 W. Easy St
Simi Valley, CA. 93065

Fax # 805-582-9513
For questions, please email at
abesales@booksfromca.com

Widerrufsbelehrung

Versandbedingungen

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Versandkosten von USA nach Deutschland

Versandkosten von USA nach Deutschland
Bestellmenge	10 bis 21�Werktage	10 bis 21�Werktage
Erster Artikel	EUR 12.35	EUR 12.35

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.