4
Christoph Weidenbach의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Automated Reasoning: 7th International Joint Conference, Ijcar 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-2 (Paperback, 2014)
  • Deepak Kapur, Christoph Weidenbach, St굋hane Demri (엮은이)
  • Springer Verlag | 2014년 08월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 4일 출고 변경
  • Programming Logics: Essays in Memory of Harald Ganzinger (Paperback, 2013) - Essays in Memory of Harald Ganzinger
  • Andrei Voronkov, Christoph Weidenbach (엮은이)
  • Springer Verlag | 2013년 04월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 4일 출고 변경

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

뒤로가기
위로가기