Name: 타입이 있는 람다 계산과 그 응용
Brand: Bunjang X Mercari
Price: 49340 KRW
Availability: InStock
Rating: 4.8 (26378 reviews)

1 / 11

일본에서 배송되는 상품이에요

타입이 있는 람다 계산과 그 응용

51,937원

5%49,340원

해외 배송비,관부가세가 모두 포함된 가격

교토・1시간 전

메루카리(mercari)

일본 현지 세컨핸드를 국내 상품처럼 간편하게 구매

4.8・거래후기 26,378・만족도 95%

결제혜택

토스페이 선착순 1.5만원 할인

토스페이 결제 시 번개포인트 0.5% 적립

더보기

계좌 간편결제 시 번개포인트 1% 적립

무이자할부/카드포인트 결제 혜택

국민/롯데/하나카드 최대 24개월 장기할부 혜택

번개장터 삼성카드 혜택

삼성 제휴카드 결제 시 번개포인트 최대 2,467원 적립

상품정보 후기 구매가이드

카테고리

도서/티켓/문구〉도서〉여행/취미/레저/건강

상품상태사용감 없음

수량1

자동 번역되었어요. 원문보기

줄 긋기나 필기 없이 내용물은 깨끗한 상태입니다. 커버에 눈에 띄는 얼룩은 없습니다 (사진 참조). 잘 부탁드립니다. 2005년 나라에서 개최된 제7회 국제회의의 프로시딩스를 수록한, 계산기 과학의 전문서입니다. - 타이틀: Typed Lambda Calculi and Applications - 편집자: Paweł Urzyczyn - 시리즈: Lecture Notes in Computer Science (LNCS 3461) - 출판사: Springer - 회의명: 7th International Conference, TLCA 2005 제7회 타입화된 람다 계산과 그 응용에 관한 국제회의 (TLCA 2005)는 2005년 4월 21일부터 23일까지 나라 (일본)에서 [리라이팅 연역 프로그래밍에 관한 합동회의 (RDP 2005)]의 일환으로 개최되었습니다. 본서에는 일반 투고 논문 외에도 Thierry Coquand와 임 신(林晋)의 초청 강연 확장 초록이 수록되어 있습니다. 또한 Amy Felty의 RDP 합동 초청 강연의 짧은 초록도 포함되어 있습니다. 일반 투고 논문에 대해서는 전반적으로 매우 높은 품질의 61건의 응모 중에서 27건이 선정되었으며, 그 선정은 프로그램 위원회에게 어려운 작업이었습니다. 편집자는 논문을 투고해주신 모든 분들께 감사드리며, 흥미로운 연구 중 많은 것을 수록하지 못한 것을 유감스럽게 생각합니다. 또한 회의의 성공을 위해 노력해주신 초청 강연자, 프로그램 위원회 및 조직 위원회 멤버, 홍보 위원장, 그리고 심사위원 여러분께도 진심으로 감사드립니다. 나라 컨벤션 뷰로의 지원에도 깊이 감사드립니다. 타입화된 람다 계산은 논리학 및 이론 계산기 과학에서 중요한 툴로 계속 사용되고 있습니다. #도서 #전기 기계/전자 통신

결제 전 확인해 주세요

•본 상품은 메루카리 개인 판매자 상품으로, 번개장터의 파트너사가 상품 구매와 배송을 대행해요.
•파트너사가 상품 구매 절차를 진행한 이후에는 취소/환불이 제한될 수 있어요. (단, 판매자가 동의하면 취소/환불 가능해요.)
•통관 진행을 위해 수령인의 개인통관고유부호 입력이 필요해요.

이 상품과 비슷해요

도서/티켓/문구의 최신 상품