Arild Waaler의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedin (Paperback) - 18th International Conference, Tableaux 2009, Oslo, Norway, July 6-10, 2009, Proceedings
  • Martin Giese, Arild Waaler
  • Springer-Verlag New York Inc | 2009년 06월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 25일 출고 변경

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

뒤로가기
위로가기