Clausal Theory of Types
Material type:
TextSeries: Cambridge Tracts in Theoretical Computer Science, 21Publication details: Cambridge ; Cambridge University Press ; 1993Description: 124pISBN: 0 521 39538 0Subject(s): Computer - Logic Programming
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 681.2.06 WOL (Browse shelf (Opens below)) | Available | 29443 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
|
No cover image available | No cover image available |
|
No cover image available | No cover image available |
|
||
| 681.18 RAT Delusions of intelligence | 681.188 AMS Applied cryptology, cryptographic protocols and computer security models | 681.188 BEC Cryptology, Introduction to- | 681.2.06 WOL Clausal Theory of Types | 681.23 CHU Digital computer design fundamentals | 681.23 CLE System analysis and project management | 681.23 COH Complex Networks |
There are no comments on this title.