Alexander Leitsch의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Computational Logic and Proof Theory: Third Kurt G?el Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Paperback, 1993)
  • Georg Gottlob, Alexander Leitsch, Daniele Mundici (엮은이)
  • Springer Verlag | 1993년 08월
  • 83,330원 (18% 할인 / 4,170원)
  • 택배로 주문하면 11월 25일 출고 변경
  • Automated Reasoning: First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001 Proceedings (Paperback, 2001)
  • Tobias Nipkow, Alexander Leitsch, Rajeev Gore (엮은이)
  • Springer Verlag | 2001년 06월
  • 166,680원 (18% 할인 / 8,340원)
  • 택배로 주문하면 11월 25일 출고 변경
  • The Resolution Calculus (Paperback, Softcover Repri)
  • Alexander Leitsch
  • Springer Verlag | 2011년 09월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 25일 출고 변경

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

뒤로가기
위로가기