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 |
There are no comments on this title.