Cover Image

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
Corporate Author: SpringerLink (Online service)
Other Authors: Pientka, Brigitte (Editor), Tinelli, Cesare (Editor)
Format: eBook
Language:English
Published: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edition:1st ed. 2023.
Series:Lecture Notes in Artificial Intelligence, 14132
Subjects:
Artificial intelligence.
Machine theory.
Computer science.
Software engineering.
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Electronic books.
Online Access:Connect to the full text of this electronic book
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:1 online resource (XXV, 592 pages 85 illustrations, 32 illustrations in color.)
ISBN:9783031384998
ISSN:2945-9141 ;
DOI:10.1007/978-3-031-38499-8
Access:Open Access