본문

서브메뉴

검색

  1. Home
Computation and reasoning : a type theory for computer science
Computation and reasoning : a type theory for computer science / Zhaohui Luo.
Computation and reasoning : a type theory for computer science

Detailed Information

자료유형  
 단행본
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

Preview

Export

ChatGPT Discussion

AI Recommended Related Books


    New Books MORE
    Related books MORE
    Statistics for the past 3 years. Go to brief
    Recommend

    Info Détail de la recherche.

    • Réservation
    • n'existe pas
    • My Folder
    • Reference Materials for Thesis Writing
    • Reference Materials for Research Ethics
    • Job-Related Books
    Matériel
    Reg No. Call No. emplacement Status Lend Info
    W041741 004 L965c 서양서제1서고 대출가능 대출가능
    My Folder 부재도서신고

    * Les réservations sont disponibles dans le livre d'emprunt. Pour faire des réservations, S'il vous plaît cliquer sur le bouton de réservation

    Books borrowed together with this book

    Related books

    Related Popular Books

    도서위치