서브메뉴
검색
Computation and reasoning : a type theory for computer science
Computation and reasoning : a type theory for computer science
Detailed Information
- Material Type
- 단행본
- Date and Time of Latest Transaction
- 20020806094452.0
- ISBN
- 0198538359
- Callnumber
- 004 L965c
- Author
- Luo, Zhaohui
- Title/Author
- Computation and reasoning : a type theory for computer science / Zhaohui Luo.
- Publish Info
- Oxfrod : Clarendon Press, 1994.
- Material Info
- 228 p. ; 23 cm.
- Price Info
- 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
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Detail Info.
- Reservation
- Not Exist
- My Folder
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books
