이전
전체보기

알라딘

2장바구니
P. H. Schmitt의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A (Hardcover)
  • W. Bibel, P. H. Schmitt
  • Springer Verlag | 1998년 06월
  • 307,480원 (18% 할인 / 15,380원)
  • 택배로 주문하면 7월 29일 출고 변경
  • Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A (Paperback)
  • W. Bibel, P. H. Schmitt (엮은이)
  • Springer | 2010년 12월
  • 307,480원 (18% 할인 / 15,380원)
  • 택배로 주문하면 7월 29일 출고 변경
  • Nonmonotonic and Inductive Logic (Paperback) - 1st International Workshop Karlsruhe, Germany, December 4-7, 1990 Proceedings
  • Klaus P. Jantke, J. Dix , P. H. Schmitt (엮은이)
  • Springer Verlag | 1991년 12월
  • 75,440원 (18% 할인 / 3,780원)
  • 택배로 주문하면 7월 19일 출고 변경
  • Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A (Hardcover, 1998)
  • W. Bibel, P. H. Schmitt, Wolfgang Bibel (엮은이)
  • Springer | 1998년 06월
  • 230,600원 (18% 할인 / 11,530원)
  • 택배로 주문하면 7월 29일 출고 변경
  • Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A (Paperback)
  • W. Bibel, P. H. Schmitt (엮은이)
  • Springer | 2010년 12월
  • 307,480원 (18% 할인 / 15,380원)
  • 택배로 주문하면 7월 29일 출고 변경
  • Nonmonotonic and Inductive Logic (Paperback) - Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : Proceedings
  • G. Brewka, K. P. Janke , P. H. Schmitt (엮은이)
  • Springer Verlag | 1993년 12월
  • 99,650원 (18% 할인 / 4,990원)
  • 택배로 주문하면 7월 19일 출고 변경
  • Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A (Hardcover)
  • W. Bibel, P. H. Schmitt
  • Springer Verlag | 1998년 06월
  • 307,480원 (18% 할인 / 15,380원)
  • 택배로 주문하면 7월 29일 출고 변경
  • Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A (Hardcover, 1998)
  • W. Bibel, P. H. Schmitt, Wolfgang Bibel (엮은이)
  • Kluwer Academic Publishers | 1998년 06월
  • 461,230원 (18% 할인 / 23,070원)
  • 택배로 주문하면 7월 24일 출고 변경
  • Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A (Paperback)
  • W. Bibel, P. H. Schmitt (엮은이)
  • Springer | 2010년 12월
  • 230,600원 (18% 할인 / 11,530원)
  • 택배로 주문하면 7월 29일 출고 변경
  • Theorie Der Logischen Programmierung (Paperback) - Eine Elementare Einfuhrung
  • P. H. Schmitt
  • Springer Verlag | 1992년 09월
  • 49,790원 (18% 할인 / 2,490원)
  • 택배로 주문하면 7월 19일 출고 변경

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

뒤로가기
위로가기
로그인전체 메뉴회사 소개출판사 안내PC 버전

(주)알라딘커뮤니케이션

일반문의 (발신자 부담) 1544-2514

1:1 문의

FAQ

중고매장 위치, 영업시간 안내