Linear Logic in Computer Science
London Mathematical Society Lecture Note #316

Linear Logic in Computer Science

Thomas Ehrhard (편집자) , Paul Ruet (편집자) , Jean-Yves Girard (편집자)
아직 평점이 없습니다
Mar 22, 2011 · 영어 · 킨들 (392 페이지)
서가에 추가

이 책 평가하기

도서 일지 내보내기

리뷰

아직 리뷰가 없습니다

이 책에 대한 첫 리뷰를 작성하고 생각을 공유하세요

리뷰를 위해 로그인
서가에 추가

이 책 평가하기

도서 일지 내보내기