Logical Frameworks Workshop, Sophia Antipolis,France, 1990
Material type: TextPublication details: Cambridge ; Cambridge university press ; 1991Description: 403ISBN: 0 521 41300 1Subject(s): Logic FrameworksCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3.07 HUET (Browse shelf (Opens below)) | Available | 29135 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | ||||||
681.3.07 ABI Foundations of Databases : Logical Level | 681.3.07 CERI Distributed databases principles and systems | 681.3.07 DATE Introduction to database systems: vol.I | 681.3.07 HUET Logical Frameworks | 681.3.07 KOH self organaisation and associative memory | 681.3.07 KOH Self-Organizing Maps | 681.3.07 MCC Integrated data processing systems |
There are no comments on this title.