서브메뉴
검색
Computation and reasoning : a type theory for computer science
Computation and reasoning : a type theory for computer science
상세정보
- 자료유형
- 단행본
- ISBN
- 0198538359
- 청구기호
- 004 L965c
- 저자명
- Luo, Zhaohui
- 서명/저자
- Computation and reasoning : a type theory for computer science / Zhaohui Luo.
- 발행사항
- Oxfrod : Clarendon Press, 1994.
- 형태사항
- 228 p. ; 23 cm.
- 가격
- 13000
- Control Number
- kjul:50041741
MARC
008020806s1994 us eng■005 20020806094452.0
■020 ▼a0198538359
■035 ▼aKRIC01760181
■090 ▼a004▼bL965c
■1001 ▼aLuo, Zhaohui
■24510▼aComputation and reasoning▼ba type theory for computer science▼dZhaohui Luo.
■260 ▼aOxfrod▼bClarendon Press▼c1994.
■300 ▼a228 p.▼c23 cm.
■9500 ▼b13000
