|
- Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Paperback)
- Jasmin Blanchette, Dirk Pattinson, Kovacs, Laura (엮은이)
- Springer | 2022년 07월 | 2022년 07월
- 61,070원 (18% 할인 / 3,060원)
- 택배로 주문하면 10월 15일 출고 변경
|
|