Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Benzmüller, Christoph, Heule, Marijn J. H., Schmidt, Renate A.
- 出版商: Springer
- 出版日期: 2024-07-02
- 售價: $3,310
- 貴賓價: 9.5 折 $3,145
- 語言: 英文
- 頁數: 424
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031635000
- ISBN-13: 9783031635007
海外代購書籍(需單獨結帳)
相關主題
