10% OFF

Automated Deduction €“ Cade 29

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

language: english
Publisher: Springer International Publishing AG, September of 2023 ‧
47,30€
10% OFF CARD
free shipping
Sell ​​your book
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. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.

Automated Deduction €“ Cade 29

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

Property Description
ISBN: 9783031384981
Publisher: Springer International Publishing AG
Release Date: September of 2023
Language: English
Dimensions: 155 x 235 x 20 mm
Cover: Softcover
Pages: 592
Format: Book
Collection: Lecture Notes In Computer Science
Categories: Books in English > Computing > Schedule
Books in English > Others
EAN: 9783031384981

BOOKS FROM THE SAME COLLECTION