책 이미지
책 정보
· 제목 : Interactive Theorem Proving: 9th International Conference, Itp 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 9- (Paperback, 2018) 
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783319948201
· 쪽수 : 642쪽
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783319948201
· 쪽수 : 642쪽
추천도서
분야의 베스트셀러 >