Handbook of logic in computer science Vol.3-4 ed by S. Abramsky, Dov M. Gabbay, T.S.E. Maibaum
Material type: BookPublication details: Oxford Oxford Science Pub. 1994Dissertation: Subject(s): DDC classification:- 005.131 N95.3-4 (CSA)
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | Computer Science and Automation Computer Science and Automation | 005.131 N95.3-4 (CSA) (Browse shelf(Opens below)) | Available | 157525 |
v3 Semantic structures v4 Semantic modelling
There are no comments on this title.