QR/바코드 검색
중고직수입양서
Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 2001, Edinburgh, Scotland, Uk, September 3-6, 2001. Proceedings
14th International Conference, Tphols 2001, Edinburgh, Scotland Uk, September 3-6, 2001 Proceedings
바인딩 & 에디션 안내이동
Boulton, Richard J. / Jackson, Paul B.
|
Springer
|
2001년 09월 01일
저자/출판사 더보기/감추기
| YES24 직배송 | 0개 | - |
|---|---|---|
| 매장ON | 0개 | - |
| 판매자 배송 | 1개 | 최저가 130,660원 |
-
새상품
163,080원 이동 - 이미 소장하고 있다면 판매해 보세요! 이 상품 팔기 더보기/감추기
-
Theorem Proving in Higher Order Logics 상세 이동 상품버튼 보이기/닫기최상[중고외서] Theorem Proving in Higher Order Logics10% 130,660원배송비 : 3,300원, k4985409에서 직접 배송
1
홈
메뉴
검색
MY
최근 본
