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

Brigitte Pientka; Cesare Tinelli

doi:10.1007/978-3-031-38499-8

Back

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

Edited book

Open access

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

Brigitte Pientka and Cesare Tinelli

Lecture notes in computer science, v. 14132, Springer

2023

DOI: 10.1007/978-3-031-38499-8

Appears in Recent Books by UI Authors

Files and links (1)

url

https://doi.org/10.1007/978-3-031-38499-8View

Published (Version of record) Open Access

Abstract

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

Computer Science

Software Engineering

Artificial intelligence

Computer Science Logic and Foundations of Programming

Formal Languages and Automata Theory

Machine theory

Details

Title: Subtitle: Automated Deduction - CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Creators: Brigitte Pientka (Editor)
Cesare Tinelli (Editor)
Resource Type: Edited book
Series: Lecture notes in computer science; v. 14132
DOI: 10.1007/978-3-031-38499-8
ISBN: 9783031384998; 3031384997
ISSN: 0302-9743
eISSN: 1611-3349
Publisher: Springer; Cham
Number of pages: xxv, 592 pages
Language: English
Date published: 2023
Academic Unit: Computer Science
Record Identifier: 9984461212802771

Metrics

84 Record Views

See more details