1
Kai Brunnler의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Deep Inference and Symmetry in Classical Proofs (Paperback)
  • Kai Brunnler
  • Logos Verlag Berlin | 2004년 01월
  • 94,690원 (10% 할인 / 2,850원)
  • 택배로 주문하면 8월 29일 출고 변경
  • 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월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 9월 6일 출고 변경
  • Blockchain kurz & gut (Paperback)
  • Kai Brunnler
  • dpunkt | 2018년 09월
  • 24,270원 (15% 할인 / 250원)
  • 택배로 주문하면 9월 12일 출고 변경

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

뒤로가기
위로가기