logo
logo
x
바코드검색
BOOKPRICE.co.kr
책, 도서 가격비교 사이트
바코드검색

인기 검색어

일간
|
주간
|
월간

실시간 검색어

검색가능 서점

알라딘
교보문고
yes24
영풍문고
쿠팡
G마켓
11번가

도서목록 제공

Metamath: A Computer Language for Mathematical Proofs

Metamath: A Computer Language for Mathematical Proofs (Hardcover)

David A. Wheeler, Norman Megill (지은이)
lulu.com
66,900원

일반도서

검색중
서점 할인가 할인률 배송비 혜택/추가 실질최저가 구매하기
알라딘 63,550원 -5% 0원
1,910원
 61,640원 >
yes24 로딩중
교보문고 로딩중
notice_icon 검색 결과 내에 다른 책이 포함되어 있을 수 있습니다.

중고도서

검색중
서점 유형 등록개수 최저가 구매하기
로딩중

eBook

검색중
서점 정가 할인가 마일리지 실질최저가 구매하기
로딩중
책 정보
책 소개
목차
저자소개
리뷰
책속에서
추천도서

책 이미지

Metamath: A Computer Language for Mathematical Proofs
eBook 미리보기

책 정보

· 제목 : Metamath: A Computer Language for Mathematical Proofs (Hardcover) 
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 일반
· ISBN : 9780359702237
· 쪽수 : 248쪽
· 출판일 : 2019-06-06

저자소개

David A. Wheeler (지은이)    정보 더보기
펼치기
Norman Megill (지은이)    정보 더보기
펼치기

추천도서

분야의 베스트셀러 >
The Technological Republic: Hard Power, Soft Belief, and the Future of the West (Hardcover) - 원서
The Technological Republic: Hard Power, Soft Belief, and the Future of the West (Hardcover) - 원서
알렉스 C. 카프, 니콜라스 W. 자미스카
Penguin Readers Level 2: How to Turn Down a Billion Dollars : The Snapchat Story (ELT Graded Reader) (Abridged Edition) (Paperback, Abridged ed)
Penguin Readers Level 2: How to Turn Down a Billion Dollars : The Snapchat Story (ELT Graded Reader) (Abridged Edition) (Paperback, Abridged ed)
Billy Gallagher
Why Machines Learn: The Elegant Math Behind Modern AI (Hardcover)
Why Machines Learn: The Elegant Math Behind Modern AI (Hardcover)
Anil Ananthaswamy
C Programming: A Modern Approach (Paperback, 2)
C Programming: A Modern Approach (Paperback, 2)
K. N. King
Elon Musk (Hardcover) - 월터 아이작슨 전기
Elon Musk (Hardcover) - 월터 아이작슨 전기
월터 아이작슨
이 포스팅은 쿠팡 파트너스 활동의 일환으로,
이에 따른 일정액의 수수료를 제공받습니다.
이 포스팅은 제휴마케팅이 포함된 광고로 커미션을 지급 받습니다.
도서 DB 제공 : 알라딘 서점(www.aladin.co.kr)
최근 본 책