Computation and reasoning : a type theory for computer science / Zhaohui Luo.
Material type:
TextSeries: International series of monographs on computer sciencePublication details: Oxford : New York : Clarendon Press ; Oxford University Press, c1994Description: xi, 228 p. : ill. ; 24 cmISBN: 0198538359 :Subject(s): Computer scienceDDC classification: 004 LOC classification: QA76 | .L97 1994Online resources: Publisher description | Table of contents only
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
ATU Book
|
SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY General Stacks | QA76 .L97 1994 (Browse shelf(Opens below)) | c1 | Available | 0000003453 | ||
|
ATU Book
|
SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY General Stacks | QA76 .L97 1994 (Browse shelf(Opens below)) | c2 | Available | 0000003454 |
Total holds: 0
Browsing SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
| QA76.L .85 2001 Computers Information Technology in Perspective/ | QA76 .L36 1998 Information systems and the Internet : a problem-solving approach / | QA76 .L97 1994 Computation and reasoning : a type theory for computer science / | QA76 .L97 1994 Computation and reasoning : a type theory for computer science / | QA 76 . N 31 2002 Artificial Intelligence: A Guide to Intelligence Systems | QA76 .N85 2000 Computers and the Internet: A Laboratory Approach to Computer Literacy/ | QA76 .Ol2 1996 Computing essentials |
Includes bibliographical references (p. 211-220) and index.
There are no comments on this title.