Titel: Automated Deduction � " CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1� "4, 2023, Proceedings (Lecture Notes in Artificial Intelligence)
Verlag: Springer
Erscheinungsjahr: 2023
Sprache: Englisch
ISBN-10: 3031384989
ISBN-13: 9783031384981
Einband: paperback
Zustand: Very Good

�ber diesen Titel

Inhaltsangabe

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023.

The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.

CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.

Von der hinteren Coverseite

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023.

��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

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.