Ross Overbeek의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings (Paperback, 1988)
  • Ewing Lusk , Ross Overbeek (엮은이)
  • Springer Verlag | 1988년 05월
  • 165,590원 (18% 할인 / 8,280원)
  • 택배로 주문하면 12월 2일 출고 변경

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

뒤로가기
위로가기