Rajeev Gore의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Automated Reasoning: First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001 Proceedings (Paperback, 2001)
  • Tobias Nipkow, Alexander Leitsch, Rajeev Gore (엮은이)
  • Springer Verlag | 2001년 06월
  • 166,680원 (18% 할인 / 8,340원)
  • 택배로 주문하면 11월 25일 출고 변경

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

뒤로가기
위로가기