|
- Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, Tableaux 2023, Prague, Czech Republic, September 18-21, (Paperback, 2023)
- Josef Urban, Revantha Ramanayake (엮은이)
- Springer | 2023년 09월 | 2023년 09월
- 78,730원 (10% 할인 / 2,370원)
- 택배로 주문하면 11월 20일 출고 변경
|
|