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

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

Show other versions (2)

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

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Pientka, Brigitte (Editor), Tinelli, Cesare (Editor)
Format: Electronic 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.
Online Access:Link to Metadata
Tags: Add Tag
No Tags, Be the first to tag this record!
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
ISSN:2945-9141 ;
DOI:10.1007/978-3-031-38499-8
Access:Open Access

Similar Items