Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings

책 이미지

eBook 미리보기

책 정보

· 제목 : Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings (Paperback)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783319661087
· 쪽수 : 554쪽
· 출판일 : 2017-08-25

저자소개

Mauricio Ayala-Rincon (엮은이) 정보 더보기

펼치기

Mauricio Ayala-Rincon의 다른 책 >

Munoz Cesar A. Munoz (엮은이) 정보 더보기

펼치기

서점	할인가	할인률	배송비	혜택/추가	실질최저가	구매하기
	66,000원	-5%	0원	1,980원	64,020원	>

서점	유형	등록개수	최저가	구매하기

서점	정가	할인가	마일리지	실질최저가	구매하기

Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings (Paperback)

일반도서

중고도서

eBook

책 이미지

책 정보

저자소개

추천도서