MPG.eBooks - Description: Automated Deduction – CADE 29

Cover Image

Read Now

Automated Deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

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.

Bibliographic Details
Other Authors:	Pientka, Brigitte (Editor), Tinelli, Cesare (Editor)
Format:	eBook
Language:	English
Published:	Cham Springer Nature Switzerland 2023, 2023
Edition:	1st ed. 2023
Series:	Lecture Notes in Artificial Intelligence
Subjects:	Computer Science Logic And Foundations Of Programming Software Engineering Computer Science Artificial Intelligence Formal Languages And Automata Theory Machine Theory
Online Access:	https://doi.org/10.1007/978-3-031-38499-8?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa

Description
Summary:	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.
Physical Description:	XXV, 592 p. 85 illus., 32 illus. in color online resource
ISBN:	9783031384998