Kai Brunnler의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Deep Inference and Symmetry in Classical Proofs (Paperback)
  • Kai Brunnler
  • Logos Verlag Berlin | 2004년 01월
  • 98,820원 (10% 할인 / 2,970원)
  • 택배로 주문하면 2월 14일 출고 변경
  • Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proce (Paperback) - 20th International Conference, Tableaux 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
  • George Metcalfe, Kai Brunnler (엮은이)
  • Springer Verlag | 2011년 06월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 2월 24일 출고 변경
  • Blockchain kurz & gut (Paperback)
  • Kai Brunnler
  • dpunkt | 2018년 09월
  • 24,250원 (10% 할인 / 250원)
  • 택배로 주문하면 2월 28일 출고 변경

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

뒤로가기
위로가기