이전
전체보기

알라딘

1장바구니
George Metcalfe의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Logic, Language, Information, and Computation: 30th International Workshop, Wollic 2024, Bern, Switzerland, June 10-13, 2024, Proceedings (Paperback, 2024)
  • Ruy De Queiroz, George Metcalfe, Thomas Studer (엮은이)
  • Springer | 2024년 06월
  • 101,620원 (10% 할인 / 3,050원)
  • 택배로 주문하면 7월 15일 출고 변경
  • 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원)
  • 택배로 주문하면 7월 30일 출고 변경

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

뒤로가기
위로가기