Claude Kirchner의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Automated Deduction - Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Paperback, 1998)
  • Claude Kirchner
  • Springer Verlag | 1998년 06월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday (Paperback, 2007) - Essays Dedicated to Jean-pierre Jouannaud on the Occasion of His 60th Birthday
  • Claude Kirchner, Hubert Comon-lundh (엮은이)
  • Springer-Verlag New York Inc | 2007년 06월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 5일 출고 변경

검색결과에 만족하시나요?

뒤로가기
위로가기