Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II - Lecture Notes in Computer Science - Christoph Benzmüller - Books - Springer International Publishing AG - 9783031635007 - July 2, 2024
In case cover and title do not match, the title is correct

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II - Lecture Notes in Computer Science 2024 edition

Price
$ 74.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 22 - 27
Get notified about new Christoph Benzmüller releases
Add to your iMusic wish list

Not rated yet

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 2, 2024
ISBN13 9783031635007
Publishers Springer International Publishing AG
Pages 424
Dimensions 156 × 236 × 26 mm   ·   654 g
Language German  
Editor Benzmuller, Christoph
Editor Heule, Marijn J.H.
Editor Schmidt, Renate A.

More from the same publisher