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

Product form

£34.99

Includes FREE delivery
Usually despatched within 5 days
Paperback / softback by Brigitte Pientka , Cesare Tinelli Short Description:

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place... Read more

Quantity

Add to basket

 

 

This item is a recurring or deferred purchase. By continuing, I agree to the cancellation policy and authorize you to charge my payment method at the prices, frequency and dates listed on this page until my order is fulfilled or I cancel, if permitted.

Publisher: Springer International Publishing AG
Publication Date: 03/09/2023
ISBN13: 9783031384981, 978-3031384981
ISBN10: 3031384989

Number of Pages: 592

Non Fiction , Computing