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