Automated Deduction – CADE 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (Lecture Notes in Artificial Intelligence, Band 15943)

Name: Automated Deduction – CADE 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (Lecture Notes in Artificial Intelligence, Band 15943)
Brand: Springer
Availability: OutOfStock
Rating: 5 (1 reviews)

By Uwe Waldmann

0 - Default Title

Product details

Binding:: Paperback
Number of Pages:: 776
Release Date:: 2025-07-30
Publication Date:: 2025-07-30
Publisher:: Springer
Languages:: Published: English, Original: English
ISBN10:: 3031999835
GPSR Manufacturer Reference:: [email protected]

Buy on Amazon

Currently sold out