Titel: Automated Deduction CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1 4, 2023, Proceedings
Verlag: Springer
Erscheinungsjahr: 2023
Sprache: Englisch
ISBN-10: 3031384989
ISBN-13: 9783031384981
Einband: Paperback
Zustand: Brand New

�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

Edward Bowditch Ltd
Exstowe, Exton, Exeter, EX3 0PP, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch