Tell your friends about this item:
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 2024 edition
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
| 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. |