책 이미지
책 정보
· 제목 : The Clausal Theory of Types (Paperback) 
· 분류 : 외국도서 > 컴퓨터 > 수학/통계 소프트웨어
· ISBN : 9780521117906
· 쪽수 : 136쪽
· 분류 : 외국도서 > 컴퓨터 > 수학/통계 소프트웨어
· ISBN : 9780521117906
· 쪽수 : 136쪽
목차
1. Introduction; 2. Logic programming: a case study; 3. Simply typed l-calculus; 4. Higher-order logic; 5. Higher-order equational unification; 6. Higher-order equational logic programming.
저자소개
추천도서
분야의 베스트셀러 >