Logic for Applications
Material type: TextSeries: Texts and Monographs in Computer SciencePublication details: New York ; Springer Verlag ; 1993Description: 365pISBN: 0 387 94129 0Subject(s): Logic Programming Logic, Symbolic and MathematicalCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3.06 NER (Browse shelf (Opens below)) | Available | 30646 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | ||||||
681.3.06 NEL Introduction to automata | 681.3.06 NEM Unix System Administration Handbook | 681.3.06 NER Logic for Applications | 681.3.06 NIC Structure and design of programming languages | 681.3.06 NIE ML with concurrency | 681.3.06 NIE Two-level functional languages |
There are no comments on this title.